package com.ggh.jinjilive.views.faceunity;

import java.security.MessageDigest;

public class authpack {
    public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest= MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
    public static byte[] A(){
        byte[] buf=new byte[1266];
        int i=0;
        for(i=78;i<96;i++){ buf[0]=(byte)i; if(sha1_32(buf)==-182386841){break;} }
        for(i=-30;i<-7;i++){ buf[1]=(byte)i; if(sha1_32(buf)==790495234){break;} }
        for(i=112;i<128;i++){ buf[2]=(byte)i; if(sha1_32(buf)==1743943718){break;} }
        for(i=15;i<28;i++){ buf[3]=(byte)i; if(sha1_32(buf)==998280175){break;} }
        for(i=3;i<20;i++){ buf[4]=(byte)i; if(sha1_32(buf)==2093609457){break;} }
        for(i=-8;i<2;i++){ buf[5]=(byte)i; if(sha1_32(buf)==549964624){break;} }
        for(i=-57;i<-38;i++){ buf[6]=(byte)i; if(sha1_32(buf)==84944449){break;} }
        for(i=-125;i<-112;i++){ buf[7]=(byte)i; if(sha1_32(buf)==-85982967){break;} }
        for(i=-73;i<-47;i++){ buf[8]=(byte)i; if(sha1_32(buf)==-933373189){break;} }
        for(i=-71;i<-55;i++){ buf[9]=(byte)i; if(sha1_32(buf)==552363965){break;} }
        for(i=-46;i<-39;i++){ buf[10]=(byte)i; if(sha1_32(buf)==935231655){break;} }
        for(i=46;i<70;i++){ buf[11]=(byte)i; if(sha1_32(buf)==-709854377){break;} }
        for(i=-128;i<-101;i++){ buf[12]=(byte)i; if(sha1_32(buf)==-704904647){break;} }
        for(i=-14;i<2;i++){ buf[13]=(byte)i; if(sha1_32(buf)==165938278){break;} }
        for(i=-88;i<-67;i++){ buf[14]=(byte)i; if(sha1_32(buf)==1908624946){break;} }
        for(i=31;i<50;i++){ buf[15]=(byte)i; if(sha1_32(buf)==2126193027){break;} }
        for(i=-101;i<-81;i++){ buf[16]=(byte)i; if(sha1_32(buf)==-1436599324){break;} }
        for(i=-121;i<-101;i++){ buf[17]=(byte)i; if(sha1_32(buf)==1287996619){break;} }
        for(i=-81;i<-62;i++){ buf[18]=(byte)i; if(sha1_32(buf)==226676161){break;} }
        for(i=-115;i<-104;i++){ buf[19]=(byte)i; if(sha1_32(buf)==1189384444){break;} }
        for(i=11;i<18;i++){ buf[20]=(byte)i; if(sha1_32(buf)==456392031){break;} }
        for(i=7;i<20;i++){ buf[21]=(byte)i; if(sha1_32(buf)==-1352140783){break;} }
        for(i=-14;i<-13;i++){ buf[22]=(byte)i; if(sha1_32(buf)==511862882){break;} }
        for(i=-80;i<-59;i++){ buf[23]=(byte)i; if(sha1_32(buf)==-601703164){break;} }
        for(i=92;i<93;i++){ buf[24]=(byte)i; if(sha1_32(buf)==1708023778){break;} }
        for(i=-127;i<-105;i++){ buf[25]=(byte)i; if(sha1_32(buf)==-2134822169){break;} }
        for(i=50;i<70;i++){ buf[26]=(byte)i; if(sha1_32(buf)==688568605){break;} }
        for(i=-1;i<14;i++){ buf[27]=(byte)i; if(sha1_32(buf)==688568605){break;} }
        for(i=2;i<18;i++){ buf[28]=(byte)i; if(sha1_32(buf)==-332173489){break;} }
        for(i=-88;i<-69;i++){ buf[29]=(byte)i; if(sha1_32(buf)==1301599235){break;} }
        for(i=-113;i<-86;i++){ buf[30]=(byte)i; if(sha1_32(buf)==-180745676){break;} }
        for(i=40;i<49;i++){ buf[31]=(byte)i; if(sha1_32(buf)==-2036839560){break;} }
        for(i=-93;i<-82;i++){ buf[32]=(byte)i; if(sha1_32(buf)==-1604516097){break;} }
        for(i=115;i<123;i++){ buf[33]=(byte)i; if(sha1_32(buf)==-2050245734){break;} }
        for(i=-69;i<-51;i++){ buf[34]=(byte)i; if(sha1_32(buf)==1394614654){break;} }
        for(i=-93;i<-77;i++){ buf[35]=(byte)i; if(sha1_32(buf)==-538480108){break;} }
        for(i=115;i<128;i++){ buf[36]=(byte)i; if(sha1_32(buf)==382837112){break;} }
        for(i=5;i<23;i++){ buf[37]=(byte)i; if(sha1_32(buf)==-1670981871){break;} }
        for(i=62;i<87;i++){ buf[38]=(byte)i; if(sha1_32(buf)==1853578146){break;} }
        for(i=20;i<30;i++){ buf[39]=(byte)i; if(sha1_32(buf)==-243725388){break;} }
        for(i=-19;i<-9;i++){ buf[40]=(byte)i; if(sha1_32(buf)==-159408576){break;} }
        for(i=85;i<94;i++){ buf[41]=(byte)i; if(sha1_32(buf)==1266511015){break;} }
        for(i=-103;i<-87;i++){ buf[42]=(byte)i; if(sha1_32(buf)==2082209226){break;} }
        for(i=13;i<37;i++){ buf[43]=(byte)i; if(sha1_32(buf)==-95541421){break;} }
        for(i=-117;i<-97;i++){ buf[44]=(byte)i; if(sha1_32(buf)==717977953){break;} }
        for(i=-87;i<-73;i++){ buf[45]=(byte)i; if(sha1_32(buf)==-1979948171){break;} }
        for(i=15;i<38;i++){ buf[46]=(byte)i; if(sha1_32(buf)==753870196){break;} }
        for(i=81;i<96;i++){ buf[47]=(byte)i; if(sha1_32(buf)==1385061873){break;} }
        for(i=78;i<85;i++){ buf[48]=(byte)i; if(sha1_32(buf)==1411280738){break;} }
        for(i=68;i<95;i++){ buf[49]=(byte)i; if(sha1_32(buf)==-1897135807){break;} }
        for(i=-128;i<-106;i++){ buf[50]=(byte)i; if(sha1_32(buf)==360851936){break;} }
        for(i=-20;i<-1;i++){ buf[51]=(byte)i; if(sha1_32(buf)==-1691982677){break;} }
        for(i=-91;i<-73;i++){ buf[52]=(byte)i; if(sha1_32(buf)==-398967826){break;} }
        for(i=-59;i<-28;i++){ buf[53]=(byte)i; if(sha1_32(buf)==-1688596959){break;} }
        for(i=65;i<73;i++){ buf[54]=(byte)i; if(sha1_32(buf)==-1723027758){break;} }
        for(i=71;i<88;i++){ buf[55]=(byte)i; if(sha1_32(buf)==-1998224410){break;} }
        for(i=19;i<28;i++){ buf[56]=(byte)i; if(sha1_32(buf)==-662422136){break;} }
        for(i=23;i<33;i++){ buf[57]=(byte)i; if(sha1_32(buf)==667610244){break;} }
        for(i=54;i<72;i++){ buf[58]=(byte)i; if(sha1_32(buf)==1231494353){break;} }
        for(i=63;i<75;i++){ buf[59]=(byte)i; if(sha1_32(buf)==1868042434){break;} }
        for(i=86;i<104;i++){ buf[60]=(byte)i; if(sha1_32(buf)==-427247210){break;} }
        for(i=-69;i<-49;i++){ buf[61]=(byte)i; if(sha1_32(buf)==-385063794){break;} }
        for(i=-94;i<-73;i++){ buf[62]=(byte)i; if(sha1_32(buf)==2015925285){break;} }
        for(i=8;i<24;i++){ buf[63]=(byte)i; if(sha1_32(buf)==210378999){break;} }
        for(i=-112;i<-97;i++){ buf[64]=(byte)i; if(sha1_32(buf)==211367126){break;} }
        for(i=-41;i<-33;i++){ buf[65]=(byte)i; if(sha1_32(buf)==-1447025358){break;} }
        for(i=101;i<111;i++){ buf[66]=(byte)i; if(sha1_32(buf)==1004507462){break;} }
        for(i=22;i<28;i++){ buf[67]=(byte)i; if(sha1_32(buf)==708606184){break;} }
        for(i=23;i<27;i++){ buf[68]=(byte)i; if(sha1_32(buf)==-1428283859){break;} }
        for(i=16;i<26;i++){ buf[69]=(byte)i; if(sha1_32(buf)==-2071486923){break;} }
        for(i=-108;i<-81;i++){ buf[70]=(byte)i; if(sha1_32(buf)==-1114000797){break;} }
        for(i=-61;i<-37;i++){ buf[71]=(byte)i; if(sha1_32(buf)==1172388076){break;} }
        for(i=-97;i<-84;i++){ buf[72]=(byte)i; if(sha1_32(buf)==-322499468){break;} }
        for(i=72;i<94;i++){ buf[73]=(byte)i; if(sha1_32(buf)==-915654609){break;} }
        for(i=110;i<124;i++){ buf[74]=(byte)i; if(sha1_32(buf)==-848458931){break;} }
        for(i=86;i<110;i++){ buf[75]=(byte)i; if(sha1_32(buf)==731905260){break;} }
        for(i=108;i<128;i++){ buf[76]=(byte)i; if(sha1_32(buf)==1630208012){break;} }
        for(i=-52;i<-40;i++){ buf[77]=(byte)i; if(sha1_32(buf)==1215464267){break;} }
        for(i=-65;i<-48;i++){ buf[78]=(byte)i; if(sha1_32(buf)==1640116423){break;} }
        for(i=-81;i<-69;i++){ buf[79]=(byte)i; if(sha1_32(buf)==331239788){break;} }
        for(i=-128;i<-107;i++){ buf[80]=(byte)i; if(sha1_32(buf)==-447290738){break;} }
        for(i=32;i<49;i++){ buf[81]=(byte)i; if(sha1_32(buf)==-1384056891){break;} }
        for(i=-25;i<-8;i++){ buf[82]=(byte)i; if(sha1_32(buf)==-383716695){break;} }
        for(i=-103;i<-72;i++){ buf[83]=(byte)i; if(sha1_32(buf)==-1731536377){break;} }
        for(i=-44;i<-28;i++){ buf[84]=(byte)i; if(sha1_32(buf)==444070351){break;} }
        for(i=40;i<59;i++){ buf[85]=(byte)i; if(sha1_32(buf)==-1596137592){break;} }
        for(i=21;i<29;i++){ buf[86]=(byte)i; if(sha1_32(buf)==277669307){break;} }
        for(i=-125;i<-122;i++){ buf[87]=(byte)i; if(sha1_32(buf)==532400698){break;} }
        for(i=110;i<127;i++){ buf[88]=(byte)i; if(sha1_32(buf)==-464486540){break;} }
        for(i=117;i<123;i++){ buf[89]=(byte)i; if(sha1_32(buf)==-1159692089){break;} }
        for(i=-67;i<-54;i++){ buf[90]=(byte)i; if(sha1_32(buf)==-934273227){break;} }
        for(i=54;i<74;i++){ buf[91]=(byte)i; if(sha1_32(buf)==1515488807){break;} }
        for(i=21;i<38;i++){ buf[92]=(byte)i; if(sha1_32(buf)==-1582104574){break;} }
        for(i=-44;i<-33;i++){ buf[93]=(byte)i; if(sha1_32(buf)==-2047848224){break;} }
        for(i=-22;i<-2;i++){ buf[94]=(byte)i; if(sha1_32(buf)==1093054045){break;} }
        for(i=-66;i<-56;i++){ buf[95]=(byte)i; if(sha1_32(buf)==-666527716){break;} }
        for(i=-93;i<-78;i++){ buf[96]=(byte)i; if(sha1_32(buf)==-39626985){break;} }
        for(i=95;i<108;i++){ buf[97]=(byte)i; if(sha1_32(buf)==2101407525){break;} }
        for(i=-28;i<-20;i++){ buf[98]=(byte)i; if(sha1_32(buf)==1131075587){break;} }
        for(i=60;i<81;i++){ buf[99]=(byte)i; if(sha1_32(buf)==1274846840){break;} }
        for(i=57;i<75;i++){ buf[100]=(byte)i; if(sha1_32(buf)==-235120104){break;} }
        for(i=67;i<82;i++){ buf[101]=(byte)i; if(sha1_32(buf)==871616533){break;} }
        for(i=-54;i<-31;i++){ buf[102]=(byte)i; if(sha1_32(buf)==406041481){break;} }
        for(i=-50;i<-27;i++){ buf[103]=(byte)i; if(sha1_32(buf)==2072771430){break;} }
        for(i=-68;i<-49;i++){ buf[104]=(byte)i; if(sha1_32(buf)==-728430790){break;} }
        for(i=-84;i<-71;i++){ buf[105]=(byte)i; if(sha1_32(buf)==1076339676){break;} }
        for(i=60;i<72;i++){ buf[106]=(byte)i; if(sha1_32(buf)==-1722167930){break;} }
        for(i=104;i<121;i++){ buf[107]=(byte)i; if(sha1_32(buf)==-344326860){break;} }
        for(i=31;i<54;i++){ buf[108]=(byte)i; if(sha1_32(buf)==-285096312){break;} }
        for(i=-52;i<-33;i++){ buf[109]=(byte)i; if(sha1_32(buf)==-187689780){break;} }
        for(i=42;i<65;i++){ buf[110]=(byte)i; if(sha1_32(buf)==723557666){break;} }
        for(i=65;i<80;i++){ buf[111]=(byte)i; if(sha1_32(buf)==244076297){break;} }
        for(i=46;i<59;i++){ buf[112]=(byte)i; if(sha1_32(buf)==-572203603){break;} }
        for(i=-92;i<-76;i++){ buf[113]=(byte)i; if(sha1_32(buf)==-2074511496){break;} }
        for(i=39;i<43;i++){ buf[114]=(byte)i; if(sha1_32(buf)==289107183){break;} }
        for(i=67;i<72;i++){ buf[115]=(byte)i; if(sha1_32(buf)==-267718423){break;} }
        for(i=-40;i<-29;i++){ buf[116]=(byte)i; if(sha1_32(buf)==911333572){break;} }
        for(i=59;i<87;i++){ buf[117]=(byte)i; if(sha1_32(buf)==519715606){break;} }
        for(i=94;i<115;i++){ buf[118]=(byte)i; if(sha1_32(buf)==-1562816637){break;} }
        for(i=50;i<66;i++){ buf[119]=(byte)i; if(sha1_32(buf)==894276908){break;} }
        for(i=-100;i<-79;i++){ buf[120]=(byte)i; if(sha1_32(buf)==584401146){break;} }
        for(i=72;i<81;i++){ buf[121]=(byte)i; if(sha1_32(buf)==1197060880){break;} }
        for(i=118;i<128;i++){ buf[122]=(byte)i; if(sha1_32(buf)==-506258286){break;} }
        for(i=15;i<30;i++){ buf[123]=(byte)i; if(sha1_32(buf)==1674083696){break;} }
        for(i=-106;i<-82;i++){ buf[124]=(byte)i; if(sha1_32(buf)==943152874){break;} }
        for(i=115;i<120;i++){ buf[125]=(byte)i; if(sha1_32(buf)==169011913){break;} }
        for(i=-114;i<-94;i++){ buf[126]=(byte)i; if(sha1_32(buf)==565368911){break;} }
        for(i=41;i<62;i++){ buf[127]=(byte)i; if(sha1_32(buf)==-47097981){break;} }
        for(i=-59;i<-46;i++){ buf[128]=(byte)i; if(sha1_32(buf)==-1188066992){break;} }
        for(i=72;i<96;i++){ buf[129]=(byte)i; if(sha1_32(buf)==-1686729961){break;} }
        for(i=-11;i<15;i++){ buf[130]=(byte)i; if(sha1_32(buf)==1394783527){break;} }
        for(i=-27;i<-5;i++){ buf[131]=(byte)i; if(sha1_32(buf)==1385670737){break;} }
        for(i=-27;i<-17;i++){ buf[132]=(byte)i; if(sha1_32(buf)==1777187738){break;} }
        for(i=-90;i<-70;i++){ buf[133]=(byte)i; if(sha1_32(buf)==-1365477224){break;} }
        for(i=36;i<40;i++){ buf[134]=(byte)i; if(sha1_32(buf)==445647627){break;} }
        for(i=-41;i<-26;i++){ buf[135]=(byte)i; if(sha1_32(buf)==115958572){break;} }
        for(i=-68;i<-59;i++){ buf[136]=(byte)i; if(sha1_32(buf)==1457408401){break;} }
        for(i=-94;i<-71;i++){ buf[137]=(byte)i; if(sha1_32(buf)==-1162069242){break;} }
        for(i=51;i<77;i++){ buf[138]=(byte)i; if(sha1_32(buf)==1626845631){break;} }
        for(i=-12;i<10;i++){ buf[139]=(byte)i; if(sha1_32(buf)==1626845631){break;} }
        for(i=94;i<107;i++){ buf[140]=(byte)i; if(sha1_32(buf)==-844397300){break;} }
        for(i=65;i<70;i++){ buf[141]=(byte)i; if(sha1_32(buf)==-515963873){break;} }
        for(i=-51;i<-26;i++){ buf[142]=(byte)i; if(sha1_32(buf)==-1773514837){break;} }
        for(i=101;i<122;i++){ buf[143]=(byte)i; if(sha1_32(buf)==1038471490){break;} }
        for(i=-10;i<14;i++){ buf[144]=(byte)i; if(sha1_32(buf)==27595194){break;} }
        for(i=36;i<44;i++){ buf[145]=(byte)i; if(sha1_32(buf)==-402314661){break;} }
        for(i=-34;i<-21;i++){ buf[146]=(byte)i; if(sha1_32(buf)==-912218555){break;} }
        for(i=-7;i<11;i++){ buf[147]=(byte)i; if(sha1_32(buf)==-432470623){break;} }
        for(i=7;i<19;i++){ buf[148]=(byte)i; if(sha1_32(buf)==-2092991041){break;} }
        for(i=105;i<108;i++){ buf[149]=(byte)i; if(sha1_32(buf)==1843441012){break;} }
        for(i=75;i<95;i++){ buf[150]=(byte)i; if(sha1_32(buf)==-1351647110){break;} }
        for(i=-128;i<-109;i++){ buf[151]=(byte)i; if(sha1_32(buf)==-832598637){break;} }
        for(i=-122;i<-105;i++){ buf[152]=(byte)i; if(sha1_32(buf)==83457039){break;} }
        for(i=39;i<52;i++){ buf[153]=(byte)i; if(sha1_32(buf)==1435108354){break;} }
        for(i=100;i<109;i++){ buf[154]=(byte)i; if(sha1_32(buf)==1479439173){break;} }
        for(i=-84;i<-66;i++){ buf[155]=(byte)i; if(sha1_32(buf)==-940938294){break;} }
        for(i=123;i<128;i++){ buf[156]=(byte)i; if(sha1_32(buf)==702316067){break;} }
        for(i=-96;i<-69;i++){ buf[157]=(byte)i; if(sha1_32(buf)==1697622513){break;} }
        for(i=-48;i<-38;i++){ buf[158]=(byte)i; if(sha1_32(buf)==1567547176){break;} }
        for(i=-96;i<-71;i++){ buf[159]=(byte)i; if(sha1_32(buf)==-1594701164){break;} }
        for(i=-12;i<5;i++){ buf[160]=(byte)i; if(sha1_32(buf)==1277988068){break;} }
        for(i=-32;i<-10;i++){ buf[161]=(byte)i; if(sha1_32(buf)==-979574533){break;} }
        for(i=28;i<43;i++){ buf[162]=(byte)i; if(sha1_32(buf)==2036654803){break;} }
        for(i=64;i<74;i++){ buf[163]=(byte)i; if(sha1_32(buf)==-1853744776){break;} }
        for(i=-49;i<-34;i++){ buf[164]=(byte)i; if(sha1_32(buf)==-580106568){break;} }
        for(i=-10;i<9;i++){ buf[165]=(byte)i; if(sha1_32(buf)==-1581979293){break;} }
        for(i=-48;i<-32;i++){ buf[166]=(byte)i; if(sha1_32(buf)==875430877){break;} }
        for(i=-101;i<-84;i++){ buf[167]=(byte)i; if(sha1_32(buf)==-1167910724){break;} }
        for(i=-17;i<-1;i++){ buf[168]=(byte)i; if(sha1_32(buf)==204958022){break;} }
        for(i=76;i<94;i++){ buf[169]=(byte)i; if(sha1_32(buf)==-796655392){break;} }
        for(i=-117;i<-115;i++){ buf[170]=(byte)i; if(sha1_32(buf)==-1857783898){break;} }
        for(i=10;i<22;i++){ buf[171]=(byte)i; if(sha1_32(buf)==-1266471349){break;} }
        for(i=50;i<60;i++){ buf[172]=(byte)i; if(sha1_32(buf)==609614503){break;} }
        for(i=-98;i<-89;i++){ buf[173]=(byte)i; if(sha1_32(buf)==-1586712583){break;} }
        for(i=78;i<101;i++){ buf[174]=(byte)i; if(sha1_32(buf)==-78364042){break;} }
        for(i=18;i<32;i++){ buf[175]=(byte)i; if(sha1_32(buf)==-446421617){break;} }
        for(i=-124;i<-102;i++){ buf[176]=(byte)i; if(sha1_32(buf)==-601363889){break;} }
        for(i=-61;i<-51;i++){ buf[177]=(byte)i; if(sha1_32(buf)==1162980942){break;} }
        for(i=26;i<41;i++){ buf[178]=(byte)i; if(sha1_32(buf)==778438917){break;} }
        for(i=-110;i<-92;i++){ buf[179]=(byte)i; if(sha1_32(buf)==1025605062){break;} }
        for(i=38;i<50;i++){ buf[180]=(byte)i; if(sha1_32(buf)==1186306117){break;} }
        for(i=8;i<21;i++){ buf[181]=(byte)i; if(sha1_32(buf)==352304789){break;} }
        for(i=90;i<104;i++){ buf[182]=(byte)i; if(sha1_32(buf)==701554187){break;} }
        for(i=-86;i<-72;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-1723216988){break;} }
        for(i=-128;i<-106;i++){ buf[184]=(byte)i; if(sha1_32(buf)==341457707){break;} }
        for(i=-78;i<-50;i++){ buf[185]=(byte)i; if(sha1_32(buf)==1062581534){break;} }
        for(i=110;i<128;i++){ buf[186]=(byte)i; if(sha1_32(buf)==-366694117){break;} }
        for(i=82;i<103;i++){ buf[187]=(byte)i; if(sha1_32(buf)==1804590566){break;} }
        for(i=-50;i<-31;i++){ buf[188]=(byte)i; if(sha1_32(buf)==-501848979){break;} }
        for(i=-2;i<13;i++){ buf[189]=(byte)i; if(sha1_32(buf)==204386865){break;} }
        for(i=-73;i<-56;i++){ buf[190]=(byte)i; if(sha1_32(buf)==-1567529278){break;} }
        for(i=-88;i<-75;i++){ buf[191]=(byte)i; if(sha1_32(buf)==-884868755){break;} }
        for(i=-93;i<-85;i++){ buf[192]=(byte)i; if(sha1_32(buf)==2099142757){break;} }
        for(i=95;i<117;i++){ buf[193]=(byte)i; if(sha1_32(buf)==197907673){break;} }
        for(i=54;i<72;i++){ buf[194]=(byte)i; if(sha1_32(buf)==1081396817){break;} }
        for(i=-56;i<-35;i++){ buf[195]=(byte)i; if(sha1_32(buf)==1965892978){break;} }
        for(i=69;i<79;i++){ buf[196]=(byte)i; if(sha1_32(buf)==988065084){break;} }
        for(i=-111;i<-90;i++){ buf[197]=(byte)i; if(sha1_32(buf)==1988249){break;} }
        for(i=-105;i<-81;i++){ buf[198]=(byte)i; if(sha1_32(buf)==-22447517){break;} }
        for(i=12;i<36;i++){ buf[199]=(byte)i; if(sha1_32(buf)==608500986){break;} }
        for(i=-61;i<-53;i++){ buf[200]=(byte)i; if(sha1_32(buf)==152370666){break;} }
        for(i=88;i<105;i++){ buf[201]=(byte)i; if(sha1_32(buf)==-925787546){break;} }
        for(i=-13;i<5;i++){ buf[202]=(byte)i; if(sha1_32(buf)==625763451){break;} }
        for(i=-67;i<-53;i++){ buf[203]=(byte)i; if(sha1_32(buf)==1493722037){break;} }
        for(i=-47;i<-31;i++){ buf[204]=(byte)i; if(sha1_32(buf)==-831888046){break;} }
        for(i=71;i<97;i++){ buf[205]=(byte)i; if(sha1_32(buf)==-1976989872){break;} }
        for(i=-86;i<-71;i++){ buf[206]=(byte)i; if(sha1_32(buf)==1889772591){break;} }
        for(i=-3;i<7;i++){ buf[207]=(byte)i; if(sha1_32(buf)==1587391995){break;} }
        for(i=120;i<127;i++){ buf[208]=(byte)i; if(sha1_32(buf)==672192819){break;} }
        for(i=-89;i<-81;i++){ buf[209]=(byte)i; if(sha1_32(buf)==1902716){break;} }
        for(i=90;i<112;i++){ buf[210]=(byte)i; if(sha1_32(buf)==-1972978271){break;} }
        for(i=13;i<27;i++){ buf[211]=(byte)i; if(sha1_32(buf)==555215723){break;} }
        for(i=-78;i<-56;i++){ buf[212]=(byte)i; if(sha1_32(buf)==1763424649){break;} }
        for(i=93;i<106;i++){ buf[213]=(byte)i; if(sha1_32(buf)==1497260964){break;} }
        for(i=7;i<33;i++){ buf[214]=(byte)i; if(sha1_32(buf)==-1050642961){break;} }
        for(i=39;i<59;i++){ buf[215]=(byte)i; if(sha1_32(buf)==-1286153088){break;} }
        for(i=-53;i<-36;i++){ buf[216]=(byte)i; if(sha1_32(buf)==-1982513925){break;} }
        for(i=-51;i<-30;i++){ buf[217]=(byte)i; if(sha1_32(buf)==-2139186362){break;} }
        for(i=66;i<71;i++){ buf[218]=(byte)i; if(sha1_32(buf)==-1054515623){break;} }
        for(i=-53;i<-40;i++){ buf[219]=(byte)i; if(sha1_32(buf)==-119809174){break;} }
        for(i=38;i<58;i++){ buf[220]=(byte)i; if(sha1_32(buf)==385507508){break;} }
        for(i=20;i<35;i++){ buf[221]=(byte)i; if(sha1_32(buf)==-1249817778){break;} }
        for(i=-128;i<-103;i++){ buf[222]=(byte)i; if(sha1_32(buf)==-1540266883){break;} }
        for(i=18;i<31;i++){ buf[223]=(byte)i; if(sha1_32(buf)==928071320){break;} }
        for(i=-16;i<-8;i++){ buf[224]=(byte)i; if(sha1_32(buf)==-462678622){break;} }
        for(i=-3;i<12;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-560987873){break;} }
        for(i=92;i<110;i++){ buf[226]=(byte)i; if(sha1_32(buf)==37700403){break;} }
        for(i=104;i<128;i++){ buf[227]=(byte)i; if(sha1_32(buf)==1003642070){break;} }
        for(i=89;i<102;i++){ buf[228]=(byte)i; if(sha1_32(buf)==-808265863){break;} }
        for(i=-124;i<-107;i++){ buf[229]=(byte)i; if(sha1_32(buf)==-405871211){break;} }
        for(i=58;i<64;i++){ buf[230]=(byte)i; if(sha1_32(buf)==-1473398695){break;} }
        for(i=-68;i<-53;i++){ buf[231]=(byte)i; if(sha1_32(buf)==1804003230){break;} }
        for(i=-64;i<-45;i++){ buf[232]=(byte)i; if(sha1_32(buf)==-1206688470){break;} }
        for(i=-1;i<21;i++){ buf[233]=(byte)i; if(sha1_32(buf)==1065360878){break;} }
        for(i=-73;i<-52;i++){ buf[234]=(byte)i; if(sha1_32(buf)==-333990780){break;} }
        for(i=31;i<53;i++){ buf[235]=(byte)i; if(sha1_32(buf)==1589203468){break;} }
        for(i=-101;i<-84;i++){ buf[236]=(byte)i; if(sha1_32(buf)==140192679){break;} }
        for(i=85;i<106;i++){ buf[237]=(byte)i; if(sha1_32(buf)==662008324){break;} }
        for(i=-23;i<-14;i++){ buf[238]=(byte)i; if(sha1_32(buf)==241765962){break;} }
        for(i=108;i<128;i++){ buf[239]=(byte)i; if(sha1_32(buf)==29617687){break;} }
        for(i=22;i<49;i++){ buf[240]=(byte)i; if(sha1_32(buf)==-104351310){break;} }
        for(i=105;i<126;i++){ buf[241]=(byte)i; if(sha1_32(buf)==-1420048225){break;} }
        for(i=103;i<126;i++){ buf[242]=(byte)i; if(sha1_32(buf)==-311727101){break;} }
        for(i=-47;i<-26;i++){ buf[243]=(byte)i; if(sha1_32(buf)==-2120853361){break;} }
        for(i=-120;i<-103;i++){ buf[244]=(byte)i; if(sha1_32(buf)==2089116142){break;} }
        for(i=111;i<128;i++){ buf[245]=(byte)i; if(sha1_32(buf)==-147024301){break;} }
        for(i=101;i<113;i++){ buf[246]=(byte)i; if(sha1_32(buf)==-703537178){break;} }
        for(i=26;i<34;i++){ buf[247]=(byte)i; if(sha1_32(buf)==-2084412055){break;} }
        for(i=64;i<75;i++){ buf[248]=(byte)i; if(sha1_32(buf)==493162216){break;} }
        for(i=-32;i<-30;i++){ buf[249]=(byte)i; if(sha1_32(buf)==-1976468039){break;} }
        for(i=64;i<81;i++){ buf[250]=(byte)i; if(sha1_32(buf)==-1716050439){break;} }
        for(i=-21;i<-12;i++){ buf[251]=(byte)i; if(sha1_32(buf)==400888748){break;} }
        for(i=-63;i<-43;i++){ buf[252]=(byte)i; if(sha1_32(buf)==726976303){break;} }
        for(i=13;i<29;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-1005381524){break;} }
        for(i=104;i<122;i++){ buf[254]=(byte)i; if(sha1_32(buf)==1358870789){break;} }
        for(i=63;i<87;i++){ buf[255]=(byte)i; if(sha1_32(buf)==1747502613){break;} }
        for(i=14;i<21;i++){ buf[256]=(byte)i; if(sha1_32(buf)==228934267){break;} }
        for(i=-23;i<-10;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-2000151877){break;} }
        for(i=103;i<120;i++){ buf[258]=(byte)i; if(sha1_32(buf)==601051218){break;} }
        for(i=84;i<107;i++){ buf[259]=(byte)i; if(sha1_32(buf)==-1367254238){break;} }
        for(i=-19;i<-6;i++){ buf[260]=(byte)i; if(sha1_32(buf)==1744892884){break;} }
        for(i=-69;i<-42;i++){ buf[261]=(byte)i; if(sha1_32(buf)==1191230068){break;} }
        for(i=-95;i<-73;i++){ buf[262]=(byte)i; if(sha1_32(buf)==1145177407){break;} }
        for(i=93;i<97;i++){ buf[263]=(byte)i; if(sha1_32(buf)==1666518193){break;} }
        for(i=-128;i<-126;i++){ buf[264]=(byte)i; if(sha1_32(buf)==1541244813){break;} }
        for(i=70;i<92;i++){ buf[265]=(byte)i; if(sha1_32(buf)==-1245052131){break;} }
        for(i=-77;i<-46;i++){ buf[266]=(byte)i; if(sha1_32(buf)==-710717709){break;} }
        for(i=-128;i<-118;i++){ buf[267]=(byte)i; if(sha1_32(buf)==1745889483){break;} }
        for(i=-1;i<15;i++){ buf[268]=(byte)i; if(sha1_32(buf)==1992185664){break;} }
        for(i=102;i<116;i++){ buf[269]=(byte)i; if(sha1_32(buf)==1812487228){break;} }
        for(i=-100;i<-94;i++){ buf[270]=(byte)i; if(sha1_32(buf)==227699296){break;} }
        for(i=-128;i<-119;i++){ buf[271]=(byte)i; if(sha1_32(buf)==-1188985290){break;} }
        for(i=32;i<60;i++){ buf[272]=(byte)i; if(sha1_32(buf)==-423461581){break;} }
        for(i=-113;i<-102;i++){ buf[273]=(byte)i; if(sha1_32(buf)==139661241){break;} }
        for(i=-72;i<-59;i++){ buf[274]=(byte)i; if(sha1_32(buf)==-2041665447){break;} }
        for(i=1;i<26;i++){ buf[275]=(byte)i; if(sha1_32(buf)==-1396237171){break;} }
        for(i=103;i<123;i++){ buf[276]=(byte)i; if(sha1_32(buf)==153017252){break;} }
        for(i=74;i<87;i++){ buf[277]=(byte)i; if(sha1_32(buf)==-531576998){break;} }
        for(i=75;i<99;i++){ buf[278]=(byte)i; if(sha1_32(buf)==-1513351192){break;} }
        for(i=-87;i<-74;i++){ buf[279]=(byte)i; if(sha1_32(buf)==1872363550){break;} }
        for(i=34;i<48;i++){ buf[280]=(byte)i; if(sha1_32(buf)==-499078791){break;} }
        for(i=109;i<121;i++){ buf[281]=(byte)i; if(sha1_32(buf)==-1178862206){break;} }
        for(i=-4;i<27;i++){ buf[282]=(byte)i; if(sha1_32(buf)==370799534){break;} }
        for(i=-23;i<-5;i++){ buf[283]=(byte)i; if(sha1_32(buf)==-1923793949){break;} }
        for(i=3;i<15;i++){ buf[284]=(byte)i; if(sha1_32(buf)==581565546){break;} }
        for(i=1;i<26;i++){ buf[285]=(byte)i; if(sha1_32(buf)==-131250617){break;} }
        for(i=81;i<90;i++){ buf[286]=(byte)i; if(sha1_32(buf)==-277030899){break;} }
        for(i=117;i<127;i++){ buf[287]=(byte)i; if(sha1_32(buf)==2103940132){break;} }
        for(i=19;i<32;i++){ buf[288]=(byte)i; if(sha1_32(buf)==-1792069777){break;} }
        for(i=62;i<78;i++){ buf[289]=(byte)i; if(sha1_32(buf)==696724226){break;} }
        for(i=-39;i<-28;i++){ buf[290]=(byte)i; if(sha1_32(buf)==-587763098){break;} }
        for(i=-4;i<14;i++){ buf[291]=(byte)i; if(sha1_32(buf)==-602772541){break;} }
        for(i=-102;i<-93;i++){ buf[292]=(byte)i; if(sha1_32(buf)==927001611){break;} }
        for(i=-12;i<-4;i++){ buf[293]=(byte)i; if(sha1_32(buf)==1561778859){break;} }
        for(i=9;i<21;i++){ buf[294]=(byte)i; if(sha1_32(buf)==63306496){break;} }
        for(i=-98;i<-81;i++){ buf[295]=(byte)i; if(sha1_32(buf)==788661269){break;} }
        for(i=-110;i<-92;i++){ buf[296]=(byte)i; if(sha1_32(buf)==485598524){break;} }
        for(i=5;i<29;i++){ buf[297]=(byte)i; if(sha1_32(buf)==681108396){break;} }
        for(i=46;i<62;i++){ buf[298]=(byte)i; if(sha1_32(buf)==135559316){break;} }
        for(i=-23;i<0;i++){ buf[299]=(byte)i; if(sha1_32(buf)==1468827319){break;} }
        for(i=-98;i<-78;i++){ buf[300]=(byte)i; if(sha1_32(buf)==-1717622331){break;} }
        for(i=-35;i<-28;i++){ buf[301]=(byte)i; if(sha1_32(buf)==1356515379){break;} }
        for(i=-85;i<-63;i++){ buf[302]=(byte)i; if(sha1_32(buf)==-1079109543){break;} }
        for(i=11;i<22;i++){ buf[303]=(byte)i; if(sha1_32(buf)==-4900276){break;} }
        for(i=88;i<96;i++){ buf[304]=(byte)i; if(sha1_32(buf)==-288941869){break;} }
        for(i=75;i<92;i++){ buf[305]=(byte)i; if(sha1_32(buf)==-1552682647){break;} }
        for(i=-79;i<-60;i++){ buf[306]=(byte)i; if(sha1_32(buf)==318414169){break;} }
        for(i=99;i<121;i++){ buf[307]=(byte)i; if(sha1_32(buf)==-1238351130){break;} }
        for(i=-113;i<-88;i++){ buf[308]=(byte)i; if(sha1_32(buf)==-1236213338){break;} }
        for(i=-7;i<5;i++){ buf[309]=(byte)i; if(sha1_32(buf)==2106488948){break;} }
        for(i=-38;i<-30;i++){ buf[310]=(byte)i; if(sha1_32(buf)==-1542314032){break;} }
        for(i=32;i<53;i++){ buf[311]=(byte)i; if(sha1_32(buf)==1363586735){break;} }
        for(i=89;i<118;i++){ buf[312]=(byte)i; if(sha1_32(buf)==-1291778378){break;} }
        for(i=-83;i<-67;i++){ buf[313]=(byte)i; if(sha1_32(buf)==-1599789797){break;} }
        for(i=-115;i<-93;i++){ buf[314]=(byte)i; if(sha1_32(buf)==-1745062565){break;} }
        for(i=73;i<94;i++){ buf[315]=(byte)i; if(sha1_32(buf)==1198014286){break;} }
        for(i=47;i<65;i++){ buf[316]=(byte)i; if(sha1_32(buf)==-551885764){break;} }
        for(i=33;i<49;i++){ buf[317]=(byte)i; if(sha1_32(buf)==554646654){break;} }
        for(i=74;i<89;i++){ buf[318]=(byte)i; if(sha1_32(buf)==-891979838){break;} }
        for(i=2;i<20;i++){ buf[319]=(byte)i; if(sha1_32(buf)==2041280115){break;} }
        for(i=-92;i<-68;i++){ buf[320]=(byte)i; if(sha1_32(buf)==-748112042){break;} }
        for(i=-62;i<-54;i++){ buf[321]=(byte)i; if(sha1_32(buf)==1942578821){break;} }
        for(i=-65;i<-41;i++){ buf[322]=(byte)i; if(sha1_32(buf)==1072276626){break;} }
        for(i=-36;i<-17;i++){ buf[323]=(byte)i; if(sha1_32(buf)==1349110222){break;} }
        for(i=109;i<123;i++){ buf[324]=(byte)i; if(sha1_32(buf)==1846857933){break;} }
        for(i=29;i<48;i++){ buf[325]=(byte)i; if(sha1_32(buf)==1372146834){break;} }
        for(i=-28;i<-14;i++){ buf[326]=(byte)i; if(sha1_32(buf)==-273736480){break;} }
        for(i=50;i<68;i++){ buf[327]=(byte)i; if(sha1_32(buf)==-2092313470){break;} }
        for(i=27;i<47;i++){ buf[328]=(byte)i; if(sha1_32(buf)==-1274202829){break;} }
        for(i=-49;i<-38;i++){ buf[329]=(byte)i; if(sha1_32(buf)==550515742){break;} }
        for(i=29;i<42;i++){ buf[330]=(byte)i; if(sha1_32(buf)==1985835657){break;} }
        for(i=-22;i<4;i++){ buf[331]=(byte)i; if(sha1_32(buf)==-342315799){break;} }
        for(i=-9;i<4;i++){ buf[332]=(byte)i; if(sha1_32(buf)==-274898464){break;} }
        for(i=-95;i<-70;i++){ buf[333]=(byte)i; if(sha1_32(buf)==1339225100){break;} }
        for(i=-71;i<-55;i++){ buf[334]=(byte)i; if(sha1_32(buf)==-1757722083){break;} }
        for(i=53;i<63;i++){ buf[335]=(byte)i; if(sha1_32(buf)==892541488){break;} }
        for(i=59;i<69;i++){ buf[336]=(byte)i; if(sha1_32(buf)==-1520794798){break;} }
        for(i=-2;i<6;i++){ buf[337]=(byte)i; if(sha1_32(buf)==1090937044){break;} }
        for(i=-112;i<-102;i++){ buf[338]=(byte)i; if(sha1_32(buf)==-358502851){break;} }
        for(i=-26;i<-24;i++){ buf[339]=(byte)i; if(sha1_32(buf)==837407153){break;} }
        for(i=21;i<49;i++){ buf[340]=(byte)i; if(sha1_32(buf)==951815714){break;} }
        for(i=85;i<102;i++){ buf[341]=(byte)i; if(sha1_32(buf)==-381935250){break;} }
        for(i=-42;i<-30;i++){ buf[342]=(byte)i; if(sha1_32(buf)==1168462086){break;} }
        for(i=-40;i<-27;i++){ buf[343]=(byte)i; if(sha1_32(buf)==988927107){break;} }
        for(i=-96;i<-71;i++){ buf[344]=(byte)i; if(sha1_32(buf)==1075921987){break;} }
        for(i=120;i<128;i++){ buf[345]=(byte)i; if(sha1_32(buf)==-549929956){break;} }
        for(i=-127;i<-111;i++){ buf[346]=(byte)i; if(sha1_32(buf)==1380569122){break;} }
        for(i=-44;i<-22;i++){ buf[347]=(byte)i; if(sha1_32(buf)==1783697092){break;} }
        for(i=24;i<46;i++){ buf[348]=(byte)i; if(sha1_32(buf)==79022473){break;} }
        for(i=-128;i<-111;i++){ buf[349]=(byte)i; if(sha1_32(buf)==-43340091){break;} }
        for(i=-11;i<1;i++){ buf[350]=(byte)i; if(sha1_32(buf)==1831360976){break;} }
        for(i=-99;i<-83;i++){ buf[351]=(byte)i; if(sha1_32(buf)==1556825885){break;} }
        for(i=100;i<117;i++){ buf[352]=(byte)i; if(sha1_32(buf)==-1228012902){break;} }
        for(i=31;i<51;i++){ buf[353]=(byte)i; if(sha1_32(buf)==-161794863){break;} }
        for(i=24;i<51;i++){ buf[354]=(byte)i; if(sha1_32(buf)==148654125){break;} }
        for(i=-63;i<-43;i++){ buf[355]=(byte)i; if(sha1_32(buf)==789903632){break;} }
        for(i=-80;i<-74;i++){ buf[356]=(byte)i; if(sha1_32(buf)==-1810233907){break;} }
        for(i=44;i<57;i++){ buf[357]=(byte)i; if(sha1_32(buf)==1313285194){break;} }
        for(i=-63;i<-51;i++){ buf[358]=(byte)i; if(sha1_32(buf)==-617822072){break;} }
        for(i=-11;i<10;i++){ buf[359]=(byte)i; if(sha1_32(buf)==-1576372544){break;} }
        for(i=27;i<32;i++){ buf[360]=(byte)i; if(sha1_32(buf)==625749932){break;} }
        for(i=76;i<99;i++){ buf[361]=(byte)i; if(sha1_32(buf)==163212688){break;} }
        for(i=30;i<47;i++){ buf[362]=(byte)i; if(sha1_32(buf)==813288936){break;} }
        for(i=90;i<95;i++){ buf[363]=(byte)i; if(sha1_32(buf)==-868498035){break;} }
        for(i=112;i<120;i++){ buf[364]=(byte)i; if(sha1_32(buf)==84610976){break;} }
        for(i=42;i<61;i++){ buf[365]=(byte)i; if(sha1_32(buf)==-1679237030){break;} }
        for(i=-68;i<-64;i++){ buf[366]=(byte)i; if(sha1_32(buf)==-737954457){break;} }
        for(i=86;i<97;i++){ buf[367]=(byte)i; if(sha1_32(buf)==1671139975){break;} }
        for(i=-111;i<-96;i++){ buf[368]=(byte)i; if(sha1_32(buf)==-205507127){break;} }
        for(i=35;i<49;i++){ buf[369]=(byte)i; if(sha1_32(buf)==1052690060){break;} }
        for(i=86;i<112;i++){ buf[370]=(byte)i; if(sha1_32(buf)==1991449713){break;} }
        for(i=-126;i<-111;i++){ buf[371]=(byte)i; if(sha1_32(buf)==1698381598){break;} }
        for(i=85;i<102;i++){ buf[372]=(byte)i; if(sha1_32(buf)==1061424855){break;} }
        for(i=-127;i<-114;i++){ buf[373]=(byte)i; if(sha1_32(buf)==-1254897348){break;} }
        for(i=86;i<110;i++){ buf[374]=(byte)i; if(sha1_32(buf)==880805094){break;} }
        for(i=-23;i<-15;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-528606723){break;} }
        for(i=10;i<25;i++){ buf[376]=(byte)i; if(sha1_32(buf)==173933125){break;} }
        for(i=-2;i<13;i++){ buf[377]=(byte)i; if(sha1_32(buf)==2092714688){break;} }
        for(i=88;i<111;i++){ buf[378]=(byte)i; if(sha1_32(buf)==1662929044){break;} }
        for(i=-128;i<-120;i++){ buf[379]=(byte)i; if(sha1_32(buf)==768537623){break;} }
        for(i=-128;i<-110;i++){ buf[380]=(byte)i; if(sha1_32(buf)==96329637){break;} }
        for(i=-72;i<-58;i++){ buf[381]=(byte)i; if(sha1_32(buf)==-478099407){break;} }
        for(i=50;i<63;i++){ buf[382]=(byte)i; if(sha1_32(buf)==-572666881){break;} }
        for(i=-104;i<-102;i++){ buf[383]=(byte)i; if(sha1_32(buf)==1747732071){break;} }
        for(i=-21;i<-14;i++){ buf[384]=(byte)i; if(sha1_32(buf)==-1009707263){break;} }
        for(i=-66;i<-37;i++){ buf[385]=(byte)i; if(sha1_32(buf)==132957550){break;} }
        for(i=9;i<19;i++){ buf[386]=(byte)i; if(sha1_32(buf)==1860440683){break;} }
        for(i=-29;i<-16;i++){ buf[387]=(byte)i; if(sha1_32(buf)==1828886712){break;} }
        for(i=109;i<125;i++){ buf[388]=(byte)i; if(sha1_32(buf)==-2065240274){break;} }
        for(i=-126;i<-118;i++){ buf[389]=(byte)i; if(sha1_32(buf)==440511456){break;} }
        for(i=-29;i<-6;i++){ buf[390]=(byte)i; if(sha1_32(buf)==-913712789){break;} }
        for(i=-106;i<-89;i++){ buf[391]=(byte)i; if(sha1_32(buf)==-350632757){break;} }
        for(i=24;i<39;i++){ buf[392]=(byte)i; if(sha1_32(buf)==807348851){break;} }
        for(i=-108;i<-87;i++){ buf[393]=(byte)i; if(sha1_32(buf)==224519805){break;} }
        for(i=10;i<29;i++){ buf[394]=(byte)i; if(sha1_32(buf)==141903678){break;} }
        for(i=-89;i<-70;i++){ buf[395]=(byte)i; if(sha1_32(buf)==1923138605){break;} }
        for(i=11;i<31;i++){ buf[396]=(byte)i; if(sha1_32(buf)==-697038400){break;} }
        for(i=-72;i<-59;i++){ buf[397]=(byte)i; if(sha1_32(buf)==-438593347){break;} }
        for(i=113;i<128;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-1954198465){break;} }
        for(i=-86;i<-68;i++){ buf[399]=(byte)i; if(sha1_32(buf)==204269728){break;} }
        for(i=-54;i<-23;i++){ buf[400]=(byte)i; if(sha1_32(buf)==564536527){break;} }
        for(i=-82;i<-69;i++){ buf[401]=(byte)i; if(sha1_32(buf)==1435208365){break;} }
        for(i=87;i<117;i++){ buf[402]=(byte)i; if(sha1_32(buf)==-679195896){break;} }
        for(i=-59;i<-37;i++){ buf[403]=(byte)i; if(sha1_32(buf)==748466609){break;} }
        for(i=6;i<22;i++){ buf[404]=(byte)i; if(sha1_32(buf)==1533447038){break;} }
        for(i=31;i<51;i++){ buf[405]=(byte)i; if(sha1_32(buf)==953600083){break;} }
        for(i=-63;i<-51;i++){ buf[406]=(byte)i; if(sha1_32(buf)==-1852613108){break;} }
        for(i=29;i<32;i++){ buf[407]=(byte)i; if(sha1_32(buf)==-2074604159){break;} }
        for(i=24;i<42;i++){ buf[408]=(byte)i; if(sha1_32(buf)==-1917566184){break;} }
        for(i=-128;i<-119;i++){ buf[409]=(byte)i; if(sha1_32(buf)==-542100614){break;} }
        for(i=-117;i<-106;i++){ buf[410]=(byte)i; if(sha1_32(buf)==1151763293){break;} }
        for(i=9;i<24;i++){ buf[411]=(byte)i; if(sha1_32(buf)==410781431){break;} }
        for(i=-109;i<-91;i++){ buf[412]=(byte)i; if(sha1_32(buf)==-408635401){break;} }
        for(i=58;i<81;i++){ buf[413]=(byte)i; if(sha1_32(buf)==-192040887){break;} }
        for(i=-128;i<-116;i++){ buf[414]=(byte)i; if(sha1_32(buf)==848227672){break;} }
        for(i=-111;i<-90;i++){ buf[415]=(byte)i; if(sha1_32(buf)==1472270235){break;} }
        for(i=-127;i<-102;i++){ buf[416]=(byte)i; if(sha1_32(buf)==1964457522){break;} }
        for(i=5;i<18;i++){ buf[417]=(byte)i; if(sha1_32(buf)==1410398272){break;} }
        for(i=110;i<128;i++){ buf[418]=(byte)i; if(sha1_32(buf)==1118500314){break;} }
        for(i=-109;i<-97;i++){ buf[419]=(byte)i; if(sha1_32(buf)==397097498){break;} }
        for(i=84;i<97;i++){ buf[420]=(byte)i; if(sha1_32(buf)==-23553907){break;} }
        for(i=-41;i<-27;i++){ buf[421]=(byte)i; if(sha1_32(buf)==419011642){break;} }
        for(i=44;i<66;i++){ buf[422]=(byte)i; if(sha1_32(buf)==1814798380){break;} }
        for(i=34;i<45;i++){ buf[423]=(byte)i; if(sha1_32(buf)==2127675232){break;} }
        for(i=-32;i<-17;i++){ buf[424]=(byte)i; if(sha1_32(buf)==826309996){break;} }
        for(i=-117;i<-96;i++){ buf[425]=(byte)i; if(sha1_32(buf)==-1032464216){break;} }
        for(i=-85;i<-73;i++){ buf[426]=(byte)i; if(sha1_32(buf)==1118235427){break;} }
        for(i=60;i<74;i++){ buf[427]=(byte)i; if(sha1_32(buf)==294312500){break;} }
        for(i=-11;i<10;i++){ buf[428]=(byte)i; if(sha1_32(buf)==1301170778){break;} }
        for(i=-93;i<-91;i++){ buf[429]=(byte)i; if(sha1_32(buf)==69812617){break;} }
        for(i=-45;i<-26;i++){ buf[430]=(byte)i; if(sha1_32(buf)==-1250792581){break;} }
        for(i=118;i<120;i++){ buf[431]=(byte)i; if(sha1_32(buf)==2126389472){break;} }
        for(i=-106;i<-80;i++){ buf[432]=(byte)i; if(sha1_32(buf)==-810908375){break;} }
        for(i=-104;i<-83;i++){ buf[433]=(byte)i; if(sha1_32(buf)==1347135538){break;} }
        for(i=-64;i<-51;i++){ buf[434]=(byte)i; if(sha1_32(buf)==-33629017){break;} }
        for(i=-57;i<-43;i++){ buf[435]=(byte)i; if(sha1_32(buf)==-1617734925){break;} }
        for(i=-114;i<-89;i++){ buf[436]=(byte)i; if(sha1_32(buf)==1580186437){break;} }
        for(i=23;i<47;i++){ buf[437]=(byte)i; if(sha1_32(buf)==1356841488){break;} }
        for(i=-25;i<-10;i++){ buf[438]=(byte)i; if(sha1_32(buf)==1812811613){break;} }
        for(i=-38;i<-17;i++){ buf[439]=(byte)i; if(sha1_32(buf)==60307465){break;} }
        for(i=6;i<29;i++){ buf[440]=(byte)i; if(sha1_32(buf)==192896177){break;} }
        for(i=-71;i<-65;i++){ buf[441]=(byte)i; if(sha1_32(buf)==17632383){break;} }
        for(i=35;i<54;i++){ buf[442]=(byte)i; if(sha1_32(buf)==1385566420){break;} }
        for(i=-70;i<-48;i++){ buf[443]=(byte)i; if(sha1_32(buf)==-184077687){break;} }
        for(i=19;i<33;i++){ buf[444]=(byte)i; if(sha1_32(buf)==-1146799917){break;} }
        for(i=22;i<30;i++){ buf[445]=(byte)i; if(sha1_32(buf)==-770992289){break;} }
        for(i=2;i<24;i++){ buf[446]=(byte)i; if(sha1_32(buf)==1182728856){break;} }
        for(i=-60;i<-43;i++){ buf[447]=(byte)i; if(sha1_32(buf)==-1279735162){break;} }
        for(i=-39;i<-29;i++){ buf[448]=(byte)i; if(sha1_32(buf)==-1569101836){break;} }
        for(i=51;i<66;i++){ buf[449]=(byte)i; if(sha1_32(buf)==1035291308){break;} }
        for(i=64;i<69;i++){ buf[450]=(byte)i; if(sha1_32(buf)==-19961720){break;} }
        for(i=-94;i<-68;i++){ buf[451]=(byte)i; if(sha1_32(buf)==528261081){break;} }
        for(i=-77;i<-63;i++){ buf[452]=(byte)i; if(sha1_32(buf)==2068937908){break;} }
        for(i=-82;i<-72;i++){ buf[453]=(byte)i; if(sha1_32(buf)==1418454713){break;} }
        for(i=-59;i<-36;i++){ buf[454]=(byte)i; if(sha1_32(buf)==1964776115){break;} }
        for(i=116;i<128;i++){ buf[455]=(byte)i; if(sha1_32(buf)==1738549117){break;} }
        for(i=-70;i<-67;i++){ buf[456]=(byte)i; if(sha1_32(buf)==1292791272){break;} }
        for(i=-99;i<-79;i++){ buf[457]=(byte)i; if(sha1_32(buf)==803033497){break;} }
        for(i=44;i<57;i++){ buf[458]=(byte)i; if(sha1_32(buf)==-429328832){break;} }
        for(i=71;i<77;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-548346021){break;} }
        for(i=1;i<20;i++){ buf[460]=(byte)i; if(sha1_32(buf)==495657492){break;} }
        for(i=-7;i<10;i++){ buf[461]=(byte)i; if(sha1_32(buf)==495657492){break;} }
        for(i=87;i<102;i++){ buf[462]=(byte)i; if(sha1_32(buf)==-204463989){break;} }
        for(i=43;i<54;i++){ buf[463]=(byte)i; if(sha1_32(buf)==-1478548153){break;} }
        for(i=-122;i<-104;i++){ buf[464]=(byte)i; if(sha1_32(buf)==80165423){break;} }
        for(i=-44;i<-31;i++){ buf[465]=(byte)i; if(sha1_32(buf)==243550952){break;} }
        for(i=-127;i<-106;i++){ buf[466]=(byte)i; if(sha1_32(buf)==-1122777807){break;} }
        for(i=61;i<81;i++){ buf[467]=(byte)i; if(sha1_32(buf)==1293443437){break;} }
        for(i=15;i<32;i++){ buf[468]=(byte)i; if(sha1_32(buf)==-1764472134){break;} }
        for(i=77;i<98;i++){ buf[469]=(byte)i; if(sha1_32(buf)==-867479845){break;} }
        for(i=-31;i<-13;i++){ buf[470]=(byte)i; if(sha1_32(buf)==-1180736167){break;} }
        for(i=-97;i<-80;i++){ buf[471]=(byte)i; if(sha1_32(buf)==-1036139745){break;} }
        for(i=-79;i<-70;i++){ buf[472]=(byte)i; if(sha1_32(buf)==-1413260766){break;} }
        for(i=-23;i<-16;i++){ buf[473]=(byte)i; if(sha1_32(buf)==784778349){break;} }
        for(i=-107;i<-77;i++){ buf[474]=(byte)i; if(sha1_32(buf)==429174089){break;} }
        for(i=-22;i<-4;i++){ buf[475]=(byte)i; if(sha1_32(buf)==2091725175){break;} }
        for(i=-113;i<-93;i++){ buf[476]=(byte)i; if(sha1_32(buf)==-716324661){break;} }
        for(i=111;i<127;i++){ buf[477]=(byte)i; if(sha1_32(buf)==1074969972){break;} }
        for(i=75;i<100;i++){ buf[478]=(byte)i; if(sha1_32(buf)==-447012983){break;} }
        for(i=24;i<41;i++){ buf[479]=(byte)i; if(sha1_32(buf)==983648563){break;} }
        for(i=-52;i<-29;i++){ buf[480]=(byte)i; if(sha1_32(buf)==586690460){break;} }
        for(i=104;i<125;i++){ buf[481]=(byte)i; if(sha1_32(buf)==-1808106765){break;} }
        for(i=19;i<38;i++){ buf[482]=(byte)i; if(sha1_32(buf)==972869757){break;} }
        for(i=-86;i<-75;i++){ buf[483]=(byte)i; if(sha1_32(buf)==-847362963){break;} }
        for(i=-51;i<-37;i++){ buf[484]=(byte)i; if(sha1_32(buf)==657884648){break;} }
        for(i=-107;i<-80;i++){ buf[485]=(byte)i; if(sha1_32(buf)==-2082329848){break;} }
        for(i=84;i<96;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-1996363187){break;} }
        for(i=-3;i<15;i++){ buf[487]=(byte)i; if(sha1_32(buf)==1945506552){break;} }
        for(i=-5;i<9;i++){ buf[488]=(byte)i; if(sha1_32(buf)==-46032103){break;} }
        for(i=52;i<67;i++){ buf[489]=(byte)i; if(sha1_32(buf)==2061176808){break;} }
        for(i=16;i<26;i++){ buf[490]=(byte)i; if(sha1_32(buf)==614580424){break;} }
        for(i=67;i<87;i++){ buf[491]=(byte)i; if(sha1_32(buf)==-268500443){break;} }
        for(i=-12;i<5;i++){ buf[492]=(byte)i; if(sha1_32(buf)==561860007){break;} }
        for(i=-25;i<-10;i++){ buf[493]=(byte)i; if(sha1_32(buf)==-715534350){break;} }
        for(i=-30;i<-9;i++){ buf[494]=(byte)i; if(sha1_32(buf)==-844814783){break;} }
        for(i=52;i<55;i++){ buf[495]=(byte)i; if(sha1_32(buf)==2099986524){break;} }
        for(i=25;i<43;i++){ buf[496]=(byte)i; if(sha1_32(buf)==590070705){break;} }
        for(i=15;i<41;i++){ buf[497]=(byte)i; if(sha1_32(buf)==690346607){break;} }
        for(i=-94;i<-76;i++){ buf[498]=(byte)i; if(sha1_32(buf)==-231101192){break;} }
        for(i=57;i<77;i++){ buf[499]=(byte)i; if(sha1_32(buf)==-221120127){break;} }
        for(i=-87;i<-79;i++){ buf[500]=(byte)i; if(sha1_32(buf)==-2144639243){break;} }
        for(i=-10;i<10;i++){ buf[501]=(byte)i; if(sha1_32(buf)==-2081589474){break;} }
        for(i=-110;i<-89;i++){ buf[502]=(byte)i; if(sha1_32(buf)==266044444){break;} }
        for(i=86;i<105;i++){ buf[503]=(byte)i; if(sha1_32(buf)==-949843154){break;} }
        for(i=67;i<76;i++){ buf[504]=(byte)i; if(sha1_32(buf)==-99374415){break;} }
        for(i=81;i<95;i++){ buf[505]=(byte)i; if(sha1_32(buf)==-1842930456){break;} }
        for(i=-116;i<-95;i++){ buf[506]=(byte)i; if(sha1_32(buf)==-433920362){break;} }
        for(i=98;i<123;i++){ buf[507]=(byte)i; if(sha1_32(buf)==-411335383){break;} }
        for(i=-105;i<-90;i++){ buf[508]=(byte)i; if(sha1_32(buf)==-228218044){break;} }
        for(i=-121;i<-104;i++){ buf[509]=(byte)i; if(sha1_32(buf)==238487009){break;} }
        for(i=-37;i<-26;i++){ buf[510]=(byte)i; if(sha1_32(buf)==334406759){break;} }
        for(i=92;i<113;i++){ buf[511]=(byte)i; if(sha1_32(buf)==-1319936199){break;} }
        for(i=105;i<118;i++){ buf[512]=(byte)i; if(sha1_32(buf)==707481238){break;} }
        for(i=-87;i<-65;i++){ buf[513]=(byte)i; if(sha1_32(buf)==-890240329){break;} }
        for(i=-93;i<-76;i++){ buf[514]=(byte)i; if(sha1_32(buf)==1115111468){break;} }
        for(i=-98;i<-79;i++){ buf[515]=(byte)i; if(sha1_32(buf)==-1771066578){break;} }
        for(i=-11;i<3;i++){ buf[516]=(byte)i; if(sha1_32(buf)==751705190){break;} }
        for(i=-62;i<-36;i++){ buf[517]=(byte)i; if(sha1_32(buf)==-537323){break;} }
        for(i=10;i<32;i++){ buf[518]=(byte)i; if(sha1_32(buf)==242727447){break;} }
        for(i=66;i<84;i++){ buf[519]=(byte)i; if(sha1_32(buf)==-28046491){break;} }
        for(i=-81;i<-63;i++){ buf[520]=(byte)i; if(sha1_32(buf)==1528433612){break;} }
        for(i=109;i<128;i++){ buf[521]=(byte)i; if(sha1_32(buf)==1640790119){break;} }
        for(i=89;i<92;i++){ buf[522]=(byte)i; if(sha1_32(buf)==-1296815694){break;} }
        for(i=59;i<67;i++){ buf[523]=(byte)i; if(sha1_32(buf)==-1260139581){break;} }
        for(i=-116;i<-91;i++){ buf[524]=(byte)i; if(sha1_32(buf)==-13840777){break;} }
        for(i=-46;i<-21;i++){ buf[525]=(byte)i; if(sha1_32(buf)==-1322412580){break;} }
        for(i=123;i<128;i++){ buf[526]=(byte)i; if(sha1_32(buf)==-1530520154){break;} }
        for(i=-34;i<-19;i++){ buf[527]=(byte)i; if(sha1_32(buf)==-1591921922){break;} }
        for(i=58;i<71;i++){ buf[528]=(byte)i; if(sha1_32(buf)==800431023){break;} }
        for(i=53;i<79;i++){ buf[529]=(byte)i; if(sha1_32(buf)==76050158){break;} }
        for(i=-55;i<-38;i++){ buf[530]=(byte)i; if(sha1_32(buf)==-800147166){break;} }
        for(i=-14;i<-2;i++){ buf[531]=(byte)i; if(sha1_32(buf)==-250756950){break;} }
        for(i=62;i<73;i++){ buf[532]=(byte)i; if(sha1_32(buf)==-1435200892){break;} }
        for(i=122;i<128;i++){ buf[533]=(byte)i; if(sha1_32(buf)==1263956097){break;} }
        for(i=-57;i<-44;i++){ buf[534]=(byte)i; if(sha1_32(buf)==686579612){break;} }
        for(i=88;i<105;i++){ buf[535]=(byte)i; if(sha1_32(buf)==35722110){break;} }
        for(i=30;i<40;i++){ buf[536]=(byte)i; if(sha1_32(buf)==1661231852){break;} }
        for(i=-104;i<-91;i++){ buf[537]=(byte)i; if(sha1_32(buf)==613559020){break;} }
        for(i=-12;i<-2;i++){ buf[538]=(byte)i; if(sha1_32(buf)==968204772){break;} }
        for(i=93;i<110;i++){ buf[539]=(byte)i; if(sha1_32(buf)==-1700062615){break;} }
        for(i=-88;i<-71;i++){ buf[540]=(byte)i; if(sha1_32(buf)==760313470){break;} }
        for(i=13;i<36;i++){ buf[541]=(byte)i; if(sha1_32(buf)==-771474390){break;} }
        for(i=-76;i<-59;i++){ buf[542]=(byte)i; if(sha1_32(buf)==1993871036){break;} }
        for(i=80;i<96;i++){ buf[543]=(byte)i; if(sha1_32(buf)==-96781599){break;} }
        for(i=-34;i<-17;i++){ buf[544]=(byte)i; if(sha1_32(buf)==1672779520){break;} }
        for(i=10;i<32;i++){ buf[545]=(byte)i; if(sha1_32(buf)==1394004195){break;} }
        for(i=23;i<41;i++){ buf[546]=(byte)i; if(sha1_32(buf)==2073326066){break;} }
        for(i=-4;i<19;i++){ buf[547]=(byte)i; if(sha1_32(buf)==-787890650){break;} }
        for(i=-41;i<-20;i++){ buf[548]=(byte)i; if(sha1_32(buf)==598405069){break;} }
        for(i=-114;i<-88;i++){ buf[549]=(byte)i; if(sha1_32(buf)==2110552312){break;} }
        for(i=-91;i<-76;i++){ buf[550]=(byte)i; if(sha1_32(buf)==355841613){break;} }
        for(i=114;i<122;i++){ buf[551]=(byte)i; if(sha1_32(buf)==693183167){break;} }
        for(i=-103;i<-90;i++){ buf[552]=(byte)i; if(sha1_32(buf)==-410908086){break;} }
        for(i=-81;i<-75;i++){ buf[553]=(byte)i; if(sha1_32(buf)==-1316297869){break;} }
        for(i=38;i<54;i++){ buf[554]=(byte)i; if(sha1_32(buf)==-1931900480){break;} }
        for(i=-43;i<-32;i++){ buf[555]=(byte)i; if(sha1_32(buf)==1556068388){break;} }
        for(i=-43;i<-34;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-907759417){break;} }
        for(i=5;i<9;i++){ buf[557]=(byte)i; if(sha1_32(buf)==1349957449){break;} }
        for(i=106;i<108;i++){ buf[558]=(byte)i; if(sha1_32(buf)==1998698928){break;} }
        for(i=-128;i<-113;i++){ buf[559]=(byte)i; if(sha1_32(buf)==-354300725){break;} }
        for(i=-10;i<7;i++){ buf[560]=(byte)i; if(sha1_32(buf)==-1553583511){break;} }
        for(i=105;i<123;i++){ buf[561]=(byte)i; if(sha1_32(buf)==295718452){break;} }
        for(i=-128;i<-109;i++){ buf[562]=(byte)i; if(sha1_32(buf)==-1356836200){break;} }
        for(i=110;i<128;i++){ buf[563]=(byte)i; if(sha1_32(buf)==673917643){break;} }
        for(i=-121;i<-99;i++){ buf[564]=(byte)i; if(sha1_32(buf)==1776376693){break;} }
        for(i=40;i<58;i++){ buf[565]=(byte)i; if(sha1_32(buf)==1924074643){break;} }
        for(i=43;i<60;i++){ buf[566]=(byte)i; if(sha1_32(buf)==2072922656){break;} }
        for(i=110;i<126;i++){ buf[567]=(byte)i; if(sha1_32(buf)==-2145602888){break;} }
        for(i=76;i<92;i++){ buf[568]=(byte)i; if(sha1_32(buf)==2035206461){break;} }
        for(i=-128;i<-101;i++){ buf[569]=(byte)i; if(sha1_32(buf)==-513701863){break;} }
        for(i=35;i<46;i++){ buf[570]=(byte)i; if(sha1_32(buf)==-929254844){break;} }
        for(i=-121;i<-102;i++){ buf[571]=(byte)i; if(sha1_32(buf)==464831316){break;} }
        for(i=25;i<41;i++){ buf[572]=(byte)i; if(sha1_32(buf)==-1136927337){break;} }
        for(i=-100;i<-86;i++){ buf[573]=(byte)i; if(sha1_32(buf)==1020900398){break;} }
        for(i=-47;i<-35;i++){ buf[574]=(byte)i; if(sha1_32(buf)==770513531){break;} }
        for(i=88;i<114;i++){ buf[575]=(byte)i; if(sha1_32(buf)==-595188439){break;} }
        for(i=7;i<21;i++){ buf[576]=(byte)i; if(sha1_32(buf)==1740051251){break;} }
        for(i=82;i<102;i++){ buf[577]=(byte)i; if(sha1_32(buf)==-1347041874){break;} }
        for(i=78;i<101;i++){ buf[578]=(byte)i; if(sha1_32(buf)==1367145351){break;} }
        for(i=-58;i<-44;i++){ buf[579]=(byte)i; if(sha1_32(buf)==938001434){break;} }
        for(i=-32;i<-18;i++){ buf[580]=(byte)i; if(sha1_32(buf)==1278224826){break;} }
        for(i=55;i<78;i++){ buf[581]=(byte)i; if(sha1_32(buf)==1939134323){break;} }
        for(i=-44;i<-40;i++){ buf[582]=(byte)i; if(sha1_32(buf)==721240289){break;} }
        for(i=-115;i<-90;i++){ buf[583]=(byte)i; if(sha1_32(buf)==114729832){break;} }
        for(i=-91;i<-69;i++){ buf[584]=(byte)i; if(sha1_32(buf)==-454538644){break;} }
        for(i=92;i<102;i++){ buf[585]=(byte)i; if(sha1_32(buf)==-759903120){break;} }
        for(i=-120;i<-105;i++){ buf[586]=(byte)i; if(sha1_32(buf)==201842282){break;} }
        for(i=59;i<75;i++){ buf[587]=(byte)i; if(sha1_32(buf)==-1323899469){break;} }
        for(i=61;i<89;i++){ buf[588]=(byte)i; if(sha1_32(buf)==-1816575785){break;} }
        for(i=-38;i<-18;i++){ buf[589]=(byte)i; if(sha1_32(buf)==-799336668){break;} }
        for(i=12;i<29;i++){ buf[590]=(byte)i; if(sha1_32(buf)==1580182145){break;} }
        for(i=111;i<126;i++){ buf[591]=(byte)i; if(sha1_32(buf)==71094879){break;} }
        for(i=22;i<40;i++){ buf[592]=(byte)i; if(sha1_32(buf)==-1206412728){break;} }
        for(i=77;i<83;i++){ buf[593]=(byte)i; if(sha1_32(buf)==-506583592){break;} }
        for(i=-73;i<-61;i++){ buf[594]=(byte)i; if(sha1_32(buf)==1489395792){break;} }
        for(i=-110;i<-95;i++){ buf[595]=(byte)i; if(sha1_32(buf)==-522949291){break;} }
        for(i=-16;i<-10;i++){ buf[596]=(byte)i; if(sha1_32(buf)==-1462895070){break;} }
        for(i=-87;i<-62;i++){ buf[597]=(byte)i; if(sha1_32(buf)==926805074){break;} }
        for(i=-68;i<-57;i++){ buf[598]=(byte)i; if(sha1_32(buf)==-1741238815){break;} }
        for(i=-108;i<-96;i++){ buf[599]=(byte)i; if(sha1_32(buf)==849174705){break;} }
        for(i=-82;i<-68;i++){ buf[600]=(byte)i; if(sha1_32(buf)==-261153659){break;} }
        for(i=11;i<24;i++){ buf[601]=(byte)i; if(sha1_32(buf)==1673079675){break;} }
        for(i=108;i<124;i++){ buf[602]=(byte)i; if(sha1_32(buf)==884250614){break;} }
        for(i=22;i<40;i++){ buf[603]=(byte)i; if(sha1_32(buf)==-988564662){break;} }
        for(i=25;i<39;i++){ buf[604]=(byte)i; if(sha1_32(buf)==1350982820){break;} }
        for(i=83;i<100;i++){ buf[605]=(byte)i; if(sha1_32(buf)==-103433832){break;} }
        for(i=-33;i<-17;i++){ buf[606]=(byte)i; if(sha1_32(buf)==965918518){break;} }
        for(i=21;i<40;i++){ buf[607]=(byte)i; if(sha1_32(buf)==358166343){break;} }
        for(i=44;i<71;i++){ buf[608]=(byte)i; if(sha1_32(buf)==-1490212757){break;} }
        for(i=76;i<92;i++){ buf[609]=(byte)i; if(sha1_32(buf)==506802701){break;} }
        for(i=20;i<38;i++){ buf[610]=(byte)i; if(sha1_32(buf)==-1350278981){break;} }
        for(i=-38;i<-24;i++){ buf[611]=(byte)i; if(sha1_32(buf)==1741376793){break;} }
        for(i=112;i<128;i++){ buf[612]=(byte)i; if(sha1_32(buf)==1476344967){break;} }
        for(i=5;i<22;i++){ buf[613]=(byte)i; if(sha1_32(buf)==-1833449881){break;} }
        for(i=-4;i<9;i++){ buf[614]=(byte)i; if(sha1_32(buf)==-1887195918){break;} }
        for(i=-10;i<3;i++){ buf[615]=(byte)i; if(sha1_32(buf)==1643306531){break;} }
        for(i=-15;i<-4;i++){ buf[616]=(byte)i; if(sha1_32(buf)==-1768384439){break;} }
        for(i=-72;i<-62;i++){ buf[617]=(byte)i; if(sha1_32(buf)==2128767750){break;} }
        for(i=5;i<27;i++){ buf[618]=(byte)i; if(sha1_32(buf)==915238190){break;} }
        for(i=-114;i<-100;i++){ buf[619]=(byte)i; if(sha1_32(buf)==1892318536){break;} }
        for(i=-27;i<0;i++){ buf[620]=(byte)i; if(sha1_32(buf)==1168791145){break;} }
        for(i=23;i<26;i++){ buf[621]=(byte)i; if(sha1_32(buf)==-1384882221){break;} }
        for(i=-42;i<-14;i++){ buf[622]=(byte)i; if(sha1_32(buf)==-2029173694){break;} }
        for(i=119;i<127;i++){ buf[623]=(byte)i; if(sha1_32(buf)==1700193213){break;} }
        for(i=34;i<48;i++){ buf[624]=(byte)i; if(sha1_32(buf)==-828018610){break;} }
        for(i=34;i<53;i++){ buf[625]=(byte)i; if(sha1_32(buf)==1810770751){break;} }
        for(i=-25;i<-11;i++){ buf[626]=(byte)i; if(sha1_32(buf)==225222886){break;} }
        for(i=116;i<128;i++){ buf[627]=(byte)i; if(sha1_32(buf)==1786116254){break;} }
        for(i=-88;i<-70;i++){ buf[628]=(byte)i; if(sha1_32(buf)==952172807){break;} }
        for(i=-128;i<-111;i++){ buf[629]=(byte)i; if(sha1_32(buf)==-481380069){break;} }
        for(i=-25;i<6;i++){ buf[630]=(byte)i; if(sha1_32(buf)==-1714746517){break;} }
        for(i=-127;i<-113;i++){ buf[631]=(byte)i; if(sha1_32(buf)==517482125){break;} }
        for(i=-115;i<-91;i++){ buf[632]=(byte)i; if(sha1_32(buf)==-2114690070){break;} }
        for(i=-29;i<-6;i++){ buf[633]=(byte)i; if(sha1_32(buf)==-1409120005){break;} }
        for(i=41;i<61;i++){ buf[634]=(byte)i; if(sha1_32(buf)==-1426858205){break;} }
        for(i=-20;i<-8;i++){ buf[635]=(byte)i; if(sha1_32(buf)==-2014822841){break;} }
        for(i=-114;i<-104;i++){ buf[636]=(byte)i; if(sha1_32(buf)==-1886257809){break;} }
        for(i=122;i<128;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-1432652276){break;} }
        for(i=-108;i<-95;i++){ buf[638]=(byte)i; if(sha1_32(buf)==1221871478){break;} }
        for(i=-102;i<-79;i++){ buf[639]=(byte)i; if(sha1_32(buf)==-53591810){break;} }
        for(i=-84;i<-70;i++){ buf[640]=(byte)i; if(sha1_32(buf)==-1665381894){break;} }
        for(i=25;i<38;i++){ buf[641]=(byte)i; if(sha1_32(buf)==1601486832){break;} }
        for(i=-128;i<-110;i++){ buf[642]=(byte)i; if(sha1_32(buf)==1889734178){break;} }
        for(i=-83;i<-66;i++){ buf[643]=(byte)i; if(sha1_32(buf)==808752212){break;} }
        for(i=-123;i<-109;i++){ buf[644]=(byte)i; if(sha1_32(buf)==-1999188346){break;} }
        for(i=18;i<36;i++){ buf[645]=(byte)i; if(sha1_32(buf)==-1093588219){break;} }
        for(i=12;i<23;i++){ buf[646]=(byte)i; if(sha1_32(buf)==-233186071){break;} }
        for(i=53;i<56;i++){ buf[647]=(byte)i; if(sha1_32(buf)==1037908976){break;} }
        for(i=-62;i<-46;i++){ buf[648]=(byte)i; if(sha1_32(buf)==-1136777057){break;} }
        for(i=-43;i<-31;i++){ buf[649]=(byte)i; if(sha1_32(buf)==-1301031350){break;} }
        for(i=120;i<128;i++){ buf[650]=(byte)i; if(sha1_32(buf)==-225836119){break;} }
        for(i=29;i<50;i++){ buf[651]=(byte)i; if(sha1_32(buf)==-2003765065){break;} }
        for(i=-86;i<-69;i++){ buf[652]=(byte)i; if(sha1_32(buf)==1693334743){break;} }
        for(i=-115;i<-97;i++){ buf[653]=(byte)i; if(sha1_32(buf)==-1380623049){break;} }
        for(i=105;i<111;i++){ buf[654]=(byte)i; if(sha1_32(buf)==-2014218894){break;} }
        for(i=-93;i<-76;i++){ buf[655]=(byte)i; if(sha1_32(buf)==-418131688){break;} }
        for(i=-20;i<3;i++){ buf[656]=(byte)i; if(sha1_32(buf)==-699098509){break;} }
        for(i=58;i<60;i++){ buf[657]=(byte)i; if(sha1_32(buf)==90643495){break;} }
        for(i=-61;i<-54;i++){ buf[658]=(byte)i; if(sha1_32(buf)==1469362549){break;} }
        for(i=65;i<86;i++){ buf[659]=(byte)i; if(sha1_32(buf)==863197455){break;} }
        for(i=54;i<76;i++){ buf[660]=(byte)i; if(sha1_32(buf)==-1848314596){break;} }
        for(i=75;i<88;i++){ buf[661]=(byte)i; if(sha1_32(buf)==1807778395){break;} }
        for(i=-10;i<8;i++){ buf[662]=(byte)i; if(sha1_32(buf)==42230421){break;} }
        for(i=-119;i<-100;i++){ buf[663]=(byte)i; if(sha1_32(buf)==1119434236){break;} }
        for(i=-127;i<-106;i++){ buf[664]=(byte)i; if(sha1_32(buf)==-1827698914){break;} }
        for(i=-3;i<17;i++){ buf[665]=(byte)i; if(sha1_32(buf)==985231238){break;} }
        for(i=99;i<126;i++){ buf[666]=(byte)i; if(sha1_32(buf)==-1516984658){break;} }
        for(i=-1;i<15;i++){ buf[667]=(byte)i; if(sha1_32(buf)==-312313762){break;} }
        for(i=88;i<113;i++){ buf[668]=(byte)i; if(sha1_32(buf)==75128300){break;} }
        for(i=83;i<92;i++){ buf[669]=(byte)i; if(sha1_32(buf)==-1549826496){break;} }
        for(i=-53;i<-39;i++){ buf[670]=(byte)i; if(sha1_32(buf)==-412373342){break;} }
        for(i=-60;i<-35;i++){ buf[671]=(byte)i; if(sha1_32(buf)==1401926091){break;} }
        for(i=96;i<123;i++){ buf[672]=(byte)i; if(sha1_32(buf)==-267120641){break;} }
        for(i=-103;i<-85;i++){ buf[673]=(byte)i; if(sha1_32(buf)==2125074354){break;} }
        for(i=44;i<62;i++){ buf[674]=(byte)i; if(sha1_32(buf)==1629821465){break;} }
        for(i=-39;i<-37;i++){ buf[675]=(byte)i; if(sha1_32(buf)==672427349){break;} }
        for(i=62;i<70;i++){ buf[676]=(byte)i; if(sha1_32(buf)==1866142098){break;} }
        for(i=-120;i<-112;i++){ buf[677]=(byte)i; if(sha1_32(buf)==355628252){break;} }
        for(i=-54;i<-45;i++){ buf[678]=(byte)i; if(sha1_32(buf)==-1036790046){break;} }
        for(i=-64;i<-34;i++){ buf[679]=(byte)i; if(sha1_32(buf)==-160192030){break;} }
        for(i=65;i<81;i++){ buf[680]=(byte)i; if(sha1_32(buf)==-1857149312){break;} }
        for(i=36;i<57;i++){ buf[681]=(byte)i; if(sha1_32(buf)==505093147){break;} }
        for(i=-11;i<-2;i++){ buf[682]=(byte)i; if(sha1_32(buf)==1105422494){break;} }
        for(i=94;i<111;i++){ buf[683]=(byte)i; if(sha1_32(buf)==222762902){break;} }
        for(i=54;i<76;i++){ buf[684]=(byte)i; if(sha1_32(buf)==-2006595146){break;} }
        for(i=101;i<120;i++){ buf[685]=(byte)i; if(sha1_32(buf)==-1495155885){break;} }
        for(i=-45;i<-37;i++){ buf[686]=(byte)i; if(sha1_32(buf)==-410011047){break;} }
        for(i=-2;i<15;i++){ buf[687]=(byte)i; if(sha1_32(buf)==1874503151){break;} }
        for(i=70;i<92;i++){ buf[688]=(byte)i; if(sha1_32(buf)==-245283410){break;} }
        for(i=62;i<81;i++){ buf[689]=(byte)i; if(sha1_32(buf)==2134006720){break;} }
        for(i=-70;i<-54;i++){ buf[690]=(byte)i; if(sha1_32(buf)==279777499){break;} }
        for(i=-102;i<-83;i++){ buf[691]=(byte)i; if(sha1_32(buf)==158222661){break;} }
        for(i=86;i<108;i++){ buf[692]=(byte)i; if(sha1_32(buf)==1486241280){break;} }
        for(i=-50;i<-33;i++){ buf[693]=(byte)i; if(sha1_32(buf)==393274994){break;} }
        for(i=-83;i<-62;i++){ buf[694]=(byte)i; if(sha1_32(buf)==314914942){break;} }
        for(i=-21;i<-3;i++){ buf[695]=(byte)i; if(sha1_32(buf)==176936284){break;} }
        for(i=91;i<106;i++){ buf[696]=(byte)i; if(sha1_32(buf)==638784786){break;} }
        for(i=14;i<22;i++){ buf[697]=(byte)i; if(sha1_32(buf)==-783974005){break;} }
        for(i=-106;i<-87;i++){ buf[698]=(byte)i; if(sha1_32(buf)==573120771){break;} }
        for(i=74;i<96;i++){ buf[699]=(byte)i; if(sha1_32(buf)==-1238893){break;} }
        for(i=-71;i<-57;i++){ buf[700]=(byte)i; if(sha1_32(buf)==1472796929){break;} }
        for(i=-92;i<-80;i++){ buf[701]=(byte)i; if(sha1_32(buf)==-1453191444){break;} }
        for(i=-80;i<-57;i++){ buf[702]=(byte)i; if(sha1_32(buf)==-1000362675){break;} }
        for(i=2;i<22;i++){ buf[703]=(byte)i; if(sha1_32(buf)==2142447923){break;} }
        for(i=-59;i<-38;i++){ buf[704]=(byte)i; if(sha1_32(buf)==-384734141){break;} }
        for(i=67;i<72;i++){ buf[705]=(byte)i; if(sha1_32(buf)==2089174924){break;} }
        for(i=1;i<20;i++){ buf[706]=(byte)i; if(sha1_32(buf)==-688322141){break;} }
        for(i=-13;i<15;i++){ buf[707]=(byte)i; if(sha1_32(buf)==-688322141){break;} }
        for(i=62;i<69;i++){ buf[708]=(byte)i; if(sha1_32(buf)==35383687){break;} }
        for(i=80;i<110;i++){ buf[709]=(byte)i; if(sha1_32(buf)==1226374529){break;} }
        for(i=-51;i<-24;i++){ buf[710]=(byte)i; if(sha1_32(buf)==-2072072798){break;} }
        for(i=-72;i<-66;i++){ buf[711]=(byte)i; if(sha1_32(buf)==-979471746){break;} }
        for(i=60;i<76;i++){ buf[712]=(byte)i; if(sha1_32(buf)==1206362304){break;} }
        for(i=-97;i<-82;i++){ buf[713]=(byte)i; if(sha1_32(buf)==933830494){break;} }
        for(i=-19;i<-4;i++){ buf[714]=(byte)i; if(sha1_32(buf)==1868111782){break;} }
        for(i=-107;i<-86;i++){ buf[715]=(byte)i; if(sha1_32(buf)==637659793){break;} }
        for(i=103;i<107;i++){ buf[716]=(byte)i; if(sha1_32(buf)==-1678196597){break;} }
        for(i=86;i<100;i++){ buf[717]=(byte)i; if(sha1_32(buf)==17542005){break;} }
        for(i=-62;i<-37;i++){ buf[718]=(byte)i; if(sha1_32(buf)==869315464){break;} }
        for(i=-83;i<-66;i++){ buf[719]=(byte)i; if(sha1_32(buf)==374775183){break;} }
        for(i=7;i<23;i++){ buf[720]=(byte)i; if(sha1_32(buf)==957713314){break;} }
        for(i=92;i<105;i++){ buf[721]=(byte)i; if(sha1_32(buf)==-964041729){break;} }
        for(i=33;i<39;i++){ buf[722]=(byte)i; if(sha1_32(buf)==45416028){break;} }
        for(i=-80;i<-72;i++){ buf[723]=(byte)i; if(sha1_32(buf)==-99196736){break;} }
        for(i=-5;i<6;i++){ buf[724]=(byte)i; if(sha1_32(buf)==-99196736){break;} }
        for(i=7;i<26;i++){ buf[725]=(byte)i; if(sha1_32(buf)==-1260248251){break;} }
        for(i=18;i<45;i++){ buf[726]=(byte)i; if(sha1_32(buf)==-256292164){break;} }
        for(i=123;i<127;i++){ buf[727]=(byte)i; if(sha1_32(buf)==1512340557){break;} }
        for(i=-7;i<2;i++){ buf[728]=(byte)i; if(sha1_32(buf)==-1954059669){break;} }
        for(i=-25;i<-2;i++){ buf[729]=(byte)i; if(sha1_32(buf)==-1848650217){break;} }
        for(i=30;i<51;i++){ buf[730]=(byte)i; if(sha1_32(buf)==49679532){break;} }
        for(i=35;i<51;i++){ buf[731]=(byte)i; if(sha1_32(buf)==558988313){break;} }
        for(i=30;i<42;i++){ buf[732]=(byte)i; if(sha1_32(buf)==-343426439){break;} }
        for(i=-51;i<-37;i++){ buf[733]=(byte)i; if(sha1_32(buf)==-476119648){break;} }
        for(i=-123;i<-117;i++){ buf[734]=(byte)i; if(sha1_32(buf)==-300381185){break;} }
        for(i=-54;i<-32;i++){ buf[735]=(byte)i; if(sha1_32(buf)==490891298){break;} }
        for(i=-18;i<-8;i++){ buf[736]=(byte)i; if(sha1_32(buf)==1779387947){break;} }
        for(i=94;i<103;i++){ buf[737]=(byte)i; if(sha1_32(buf)==-1569431308){break;} }
        for(i=-48;i<-34;i++){ buf[738]=(byte)i; if(sha1_32(buf)==-733373525){break;} }
        for(i=108;i<124;i++){ buf[739]=(byte)i; if(sha1_32(buf)==-1845460845){break;} }
        for(i=86;i<110;i++){ buf[740]=(byte)i; if(sha1_32(buf)==8485822){break;} }
        for(i=-8;i<17;i++){ buf[741]=(byte)i; if(sha1_32(buf)==-1536605746){break;} }
        for(i=-18;i<8;i++){ buf[742]=(byte)i; if(sha1_32(buf)==-1507142892){break;} }
        for(i=-99;i<-88;i++){ buf[743]=(byte)i; if(sha1_32(buf)==-1876478586){break;} }
        for(i=93;i<113;i++){ buf[744]=(byte)i; if(sha1_32(buf)==1282146348){break;} }
        for(i=47;i<63;i++){ buf[745]=(byte)i; if(sha1_32(buf)==-961389589){break;} }
        for(i=-8;i<21;i++){ buf[746]=(byte)i; if(sha1_32(buf)==-1427558724){break;} }
        for(i=-45;i<-33;i++){ buf[747]=(byte)i; if(sha1_32(buf)==671811305){break;} }
        for(i=116;i<128;i++){ buf[748]=(byte)i; if(sha1_32(buf)==-2111972624){break;} }
        for(i=92;i<97;i++){ buf[749]=(byte)i; if(sha1_32(buf)==-722585103){break;} }
        for(i=6;i<25;i++){ buf[750]=(byte)i; if(sha1_32(buf)==114825712){break;} }
        for(i=-53;i<-41;i++){ buf[751]=(byte)i; if(sha1_32(buf)==-160578258){break;} }
        for(i=-117;i<-109;i++){ buf[752]=(byte)i; if(sha1_32(buf)==643685592){break;} }
        for(i=-116;i<-99;i++){ buf[753]=(byte)i; if(sha1_32(buf)==-1601902220){break;} }
        for(i=61;i<65;i++){ buf[754]=(byte)i; if(sha1_32(buf)==-1710397554){break;} }
        for(i=73;i<98;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-1942057902){break;} }
        for(i=-48;i<-30;i++){ buf[756]=(byte)i; if(sha1_32(buf)==-1127835831){break;} }
        for(i=-124;i<-101;i++){ buf[757]=(byte)i; if(sha1_32(buf)==757703136){break;} }
        for(i=76;i<86;i++){ buf[758]=(byte)i; if(sha1_32(buf)==-1748558428){break;} }
        for(i=44;i<68;i++){ buf[759]=(byte)i; if(sha1_32(buf)==1736981276){break;} }
        for(i=74;i<85;i++){ buf[760]=(byte)i; if(sha1_32(buf)==-1608284750){break;} }
        for(i=-16;i<-8;i++){ buf[761]=(byte)i; if(sha1_32(buf)==-1360923465){break;} }
        for(i=-39;i<-24;i++){ buf[762]=(byte)i; if(sha1_32(buf)==1492813612){break;} }
        for(i=48;i<73;i++){ buf[763]=(byte)i; if(sha1_32(buf)==-275464499){break;} }
        for(i=18;i<44;i++){ buf[764]=(byte)i; if(sha1_32(buf)==-990400898){break;} }
        for(i=-71;i<-63;i++){ buf[765]=(byte)i; if(sha1_32(buf)==-1111874851){break;} }
        for(i=45;i<71;i++){ buf[766]=(byte)i; if(sha1_32(buf)==141160567){break;} }
        for(i=-56;i<-43;i++){ buf[767]=(byte)i; if(sha1_32(buf)==1996426259){break;} }
        for(i=59;i<69;i++){ buf[768]=(byte)i; if(sha1_32(buf)==2081879900){break;} }
        for(i=-128;i<-112;i++){ buf[769]=(byte)i; if(sha1_32(buf)==73825284){break;} }
        for(i=-92;i<-66;i++){ buf[770]=(byte)i; if(sha1_32(buf)==-114851648){break;} }
        for(i=-76;i<-61;i++){ buf[771]=(byte)i; if(sha1_32(buf)==1324524915){break;} }
        for(i=60;i<86;i++){ buf[772]=(byte)i; if(sha1_32(buf)==-688508919){break;} }
        for(i=-79;i<-61;i++){ buf[773]=(byte)i; if(sha1_32(buf)==-802584040){break;} }
        for(i=-72;i<-62;i++){ buf[774]=(byte)i; if(sha1_32(buf)==-135562100){break;} }
        for(i=-66;i<-41;i++){ buf[775]=(byte)i; if(sha1_32(buf)==-387403844){break;} }
        for(i=-39;i<-20;i++){ buf[776]=(byte)i; if(sha1_32(buf)==1534305617){break;} }
        for(i=-128;i<-106;i++){ buf[777]=(byte)i; if(sha1_32(buf)==1871758368){break;} }
        for(i=-20;i<-13;i++){ buf[778]=(byte)i; if(sha1_32(buf)==477715538){break;} }
        for(i=50;i<76;i++){ buf[779]=(byte)i; if(sha1_32(buf)==-1560292549){break;} }
        for(i=-8;i<5;i++){ buf[780]=(byte)i; if(sha1_32(buf)==616932647){break;} }
        for(i=-88;i<-74;i++){ buf[781]=(byte)i; if(sha1_32(buf)==-1262800962){break;} }
        for(i=-104;i<-101;i++){ buf[782]=(byte)i; if(sha1_32(buf)==159628570){break;} }
        for(i=-95;i<-80;i++){ buf[783]=(byte)i; if(sha1_32(buf)==1989197242){break;} }
        for(i=-3;i<13;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-1930616743){break;} }
        for(i=107;i<125;i++){ buf[785]=(byte)i; if(sha1_32(buf)==-145517163){break;} }
        for(i=41;i<65;i++){ buf[786]=(byte)i; if(sha1_32(buf)==-876203972){break;} }
        for(i=-82;i<-67;i++){ buf[787]=(byte)i; if(sha1_32(buf)==322641963){break;} }
        for(i=-120;i<-106;i++){ buf[788]=(byte)i; if(sha1_32(buf)==-417963919){break;} }
        for(i=-113;i<-102;i++){ buf[789]=(byte)i; if(sha1_32(buf)==2014823554){break;} }
        for(i=94;i<103;i++){ buf[790]=(byte)i; if(sha1_32(buf)==1432185137){break;} }
        for(i=53;i<72;i++){ buf[791]=(byte)i; if(sha1_32(buf)==-957134655){break;} }
        for(i=-127;i<-120;i++){ buf[792]=(byte)i; if(sha1_32(buf)==34586748){break;} }
        for(i=-60;i<-38;i++){ buf[793]=(byte)i; if(sha1_32(buf)==1949288743){break;} }
        for(i=17;i<30;i++){ buf[794]=(byte)i; if(sha1_32(buf)==636856897){break;} }
        for(i=-67;i<-49;i++){ buf[795]=(byte)i; if(sha1_32(buf)==860127712){break;} }
        for(i=38;i<63;i++){ buf[796]=(byte)i; if(sha1_32(buf)==-1235135143){break;} }
        for(i=-122;i<-107;i++){ buf[797]=(byte)i; if(sha1_32(buf)==31846986){break;} }
        for(i=-72;i<-67;i++){ buf[798]=(byte)i; if(sha1_32(buf)==961009759){break;} }
        for(i=99;i<114;i++){ buf[799]=(byte)i; if(sha1_32(buf)==1259719227){break;} }
        for(i=99;i<111;i++){ buf[800]=(byte)i; if(sha1_32(buf)==-300069756){break;} }
        for(i=-36;i<-20;i++){ buf[801]=(byte)i; if(sha1_32(buf)==2082331614){break;} }
        for(i=11;i<30;i++){ buf[802]=(byte)i; if(sha1_32(buf)==1377899740){break;} }
        for(i=-28;i<-3;i++){ buf[803]=(byte)i; if(sha1_32(buf)==-1641929376){break;} }
        for(i=41;i<60;i++){ buf[804]=(byte)i; if(sha1_32(buf)==2018188235){break;} }
        for(i=-6;i<16;i++){ buf[805]=(byte)i; if(sha1_32(buf)==136481964){break;} }
        for(i=-5;i<3;i++){ buf[806]=(byte)i; if(sha1_32(buf)==1390120977){break;} }
        for(i=52;i<73;i++){ buf[807]=(byte)i; if(sha1_32(buf)==-1328889415){break;} }
        for(i=-70;i<-50;i++){ buf[808]=(byte)i; if(sha1_32(buf)==-1270554638){break;} }
        for(i=80;i<99;i++){ buf[809]=(byte)i; if(sha1_32(buf)==-406134990){break;} }
        for(i=-72;i<-61;i++){ buf[810]=(byte)i; if(sha1_32(buf)==462566373){break;} }
        for(i=-85;i<-70;i++){ buf[811]=(byte)i; if(sha1_32(buf)==-2139640226){break;} }
        for(i=-24;i<5;i++){ buf[812]=(byte)i; if(sha1_32(buf)==1171295694){break;} }
        for(i=-88;i<-79;i++){ buf[813]=(byte)i; if(sha1_32(buf)==1555829537){break;} }
        for(i=63;i<79;i++){ buf[814]=(byte)i; if(sha1_32(buf)==1332450037){break;} }
        for(i=-74;i<-55;i++){ buf[815]=(byte)i; if(sha1_32(buf)==294899543){break;} }
        for(i=-42;i<-22;i++){ buf[816]=(byte)i; if(sha1_32(buf)==820909128){break;} }
        for(i=35;i<50;i++){ buf[817]=(byte)i; if(sha1_32(buf)==119241452){break;} }
        for(i=-101;i<-86;i++){ buf[818]=(byte)i; if(sha1_32(buf)==1502723783){break;} }
        for(i=45;i<50;i++){ buf[819]=(byte)i; if(sha1_32(buf)==1769333219){break;} }
        for(i=-75;i<-60;i++){ buf[820]=(byte)i; if(sha1_32(buf)==1219637200){break;} }
        for(i=79;i<91;i++){ buf[821]=(byte)i; if(sha1_32(buf)==7053584){break;} }
        for(i=-65;i<-42;i++){ buf[822]=(byte)i; if(sha1_32(buf)==-1171720452){break;} }
        for(i=-106;i<-87;i++){ buf[823]=(byte)i; if(sha1_32(buf)==1567719700){break;} }
        for(i=-12;i<-1;i++){ buf[824]=(byte)i; if(sha1_32(buf)==1362804859){break;} }
        for(i=-69;i<-63;i++){ buf[825]=(byte)i; if(sha1_32(buf)==982673563){break;} }
        for(i=100;i<121;i++){ buf[826]=(byte)i; if(sha1_32(buf)==-908452144){break;} }
        for(i=-69;i<-48;i++){ buf[827]=(byte)i; if(sha1_32(buf)==-337409007){break;} }
        for(i=-64;i<-59;i++){ buf[828]=(byte)i; if(sha1_32(buf)==1675906499){break;} }
        for(i=-75;i<-61;i++){ buf[829]=(byte)i; if(sha1_32(buf)==-1715257188){break;} }
        for(i=-128;i<-116;i++){ buf[830]=(byte)i; if(sha1_32(buf)==1790387050){break;} }
        for(i=-72;i<-51;i++){ buf[831]=(byte)i; if(sha1_32(buf)==-1709548804){break;} }
        for(i=-87;i<-75;i++){ buf[832]=(byte)i; if(sha1_32(buf)==317846549){break;} }
        for(i=8;i<32;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-475946320){break;} }
        for(i=47;i<64;i++){ buf[834]=(byte)i; if(sha1_32(buf)==1194472085){break;} }
        for(i=87;i<103;i++){ buf[835]=(byte)i; if(sha1_32(buf)==-854564918){break;} }
        for(i=-40;i<-32;i++){ buf[836]=(byte)i; if(sha1_32(buf)==1993551710){break;} }
        for(i=15;i<39;i++){ buf[837]=(byte)i; if(sha1_32(buf)==693362622){break;} }
        for(i=15;i<23;i++){ buf[838]=(byte)i; if(sha1_32(buf)==539949301){break;} }
        for(i=-81;i<-66;i++){ buf[839]=(byte)i; if(sha1_32(buf)==-661730901){break;} }
        for(i=23;i<41;i++){ buf[840]=(byte)i; if(sha1_32(buf)==773469849){break;} }
        for(i=-126;i<-121;i++){ buf[841]=(byte)i; if(sha1_32(buf)==1480333481){break;} }
        for(i=21;i<38;i++){ buf[842]=(byte)i; if(sha1_32(buf)==1235293970){break;} }
        for(i=-126;i<-123;i++){ buf[843]=(byte)i; if(sha1_32(buf)==-708532086){break;} }
        for(i=-15;i<0;i++){ buf[844]=(byte)i; if(sha1_32(buf)==-1131890655){break;} }
        for(i=0;i<13;i++){ buf[845]=(byte)i; if(sha1_32(buf)==-681228126){break;} }
        for(i=50;i<72;i++){ buf[846]=(byte)i; if(sha1_32(buf)==-889022366){break;} }
        for(i=-14;i<6;i++){ buf[847]=(byte)i; if(sha1_32(buf)==-1355837827){break;} }
        for(i=97;i<117;i++){ buf[848]=(byte)i; if(sha1_32(buf)==1839704537){break;} }
        for(i=4;i<17;i++){ buf[849]=(byte)i; if(sha1_32(buf)==1628872451){break;} }
        for(i=-18;i<-3;i++){ buf[850]=(byte)i; if(sha1_32(buf)==-1509551063){break;} }
        for(i=46;i<53;i++){ buf[851]=(byte)i; if(sha1_32(buf)==-391032355){break;} }
        for(i=90;i<112;i++){ buf[852]=(byte)i; if(sha1_32(buf)==32977745){break;} }
        for(i=45;i<65;i++){ buf[853]=(byte)i; if(sha1_32(buf)==1849945333){break;} }
        for(i=-102;i<-73;i++){ buf[854]=(byte)i; if(sha1_32(buf)==-1763342471){break;} }
        for(i=-16;i<4;i++){ buf[855]=(byte)i; if(sha1_32(buf)==592010017){break;} }
        for(i=-88;i<-76;i++){ buf[856]=(byte)i; if(sha1_32(buf)==1555201460){break;} }
        for(i=-111;i<-84;i++){ buf[857]=(byte)i; if(sha1_32(buf)==254709461){break;} }
        for(i=-110;i<-90;i++){ buf[858]=(byte)i; if(sha1_32(buf)==-524168104){break;} }
        for(i=-51;i<-39;i++){ buf[859]=(byte)i; if(sha1_32(buf)==1216088564){break;} }
        for(i=-104;i<-81;i++){ buf[860]=(byte)i; if(sha1_32(buf)==-216724748){break;} }
        for(i=-76;i<-60;i++){ buf[861]=(byte)i; if(sha1_32(buf)==2022048787){break;} }
        for(i=26;i<42;i++){ buf[862]=(byte)i; if(sha1_32(buf)==-1771110902){break;} }
        for(i=18;i<33;i++){ buf[863]=(byte)i; if(sha1_32(buf)==-1992769566){break;} }
        for(i=-62;i<-53;i++){ buf[864]=(byte)i; if(sha1_32(buf)==1575110354){break;} }
        for(i=-24;i<2;i++){ buf[865]=(byte)i; if(sha1_32(buf)==-920316313){break;} }
        for(i=4;i<21;i++){ buf[866]=(byte)i; if(sha1_32(buf)==316507284){break;} }
        for(i=-100;i<-82;i++){ buf[867]=(byte)i; if(sha1_32(buf)==-2009072){break;} }
        for(i=-80;i<-60;i++){ buf[868]=(byte)i; if(sha1_32(buf)==-1184339376){break;} }
        for(i=15;i<28;i++){ buf[869]=(byte)i; if(sha1_32(buf)==1087234258){break;} }
        for(i=-19;i<-5;i++){ buf[870]=(byte)i; if(sha1_32(buf)==975300064){break;} }
        for(i=26;i<37;i++){ buf[871]=(byte)i; if(sha1_32(buf)==-940164848){break;} }
        for(i=-72;i<-44;i++){ buf[872]=(byte)i; if(sha1_32(buf)==-1087227728){break;} }
        for(i=45;i<73;i++){ buf[873]=(byte)i; if(sha1_32(buf)==-889060623){break;} }
        for(i=-72;i<-42;i++){ buf[874]=(byte)i; if(sha1_32(buf)==657932978){break;} }
        for(i=42;i<57;i++){ buf[875]=(byte)i; if(sha1_32(buf)==1997230708){break;} }
        for(i=66;i<91;i++){ buf[876]=(byte)i; if(sha1_32(buf)==-1055329486){break;} }
        for(i=81;i<84;i++){ buf[877]=(byte)i; if(sha1_32(buf)==-382830600){break;} }
        for(i=52;i<64;i++){ buf[878]=(byte)i; if(sha1_32(buf)==358647259){break;} }
        for(i=-78;i<-59;i++){ buf[879]=(byte)i; if(sha1_32(buf)==-1163313447){break;} }
        for(i=30;i<57;i++){ buf[880]=(byte)i; if(sha1_32(buf)==12055709){break;} }
        for(i=102;i<126;i++){ buf[881]=(byte)i; if(sha1_32(buf)==1429471602){break;} }
        for(i=-41;i<-18;i++){ buf[882]=(byte)i; if(sha1_32(buf)==-2094944928){break;} }
        for(i=33;i<47;i++){ buf[883]=(byte)i; if(sha1_32(buf)==39685498){break;} }
        for(i=-8;i<17;i++){ buf[884]=(byte)i; if(sha1_32(buf)==-368262183){break;} }
        for(i=51;i<67;i++){ buf[885]=(byte)i; if(sha1_32(buf)==1668904632){break;} }
        for(i=-103;i<-86;i++){ buf[886]=(byte)i; if(sha1_32(buf)==-1464626599){break;} }
        for(i=5;i<35;i++){ buf[887]=(byte)i; if(sha1_32(buf)==2147427318){break;} }
        for(i=-121;i<-102;i++){ buf[888]=(byte)i; if(sha1_32(buf)==914149929){break;} }
        for(i=100;i<111;i++){ buf[889]=(byte)i; if(sha1_32(buf)==-598144995){break;} }
        for(i=-32;i<-2;i++){ buf[890]=(byte)i; if(sha1_32(buf)==167267950){break;} }
        for(i=30;i<56;i++){ buf[891]=(byte)i; if(sha1_32(buf)==-1802594120){break;} }
        for(i=95;i<103;i++){ buf[892]=(byte)i; if(sha1_32(buf)==-805222761){break;} }
        for(i=-90;i<-69;i++){ buf[893]=(byte)i; if(sha1_32(buf)==-1424447390){break;} }
        for(i=53;i<75;i++){ buf[894]=(byte)i; if(sha1_32(buf)==-2021998203){break;} }
        for(i=-48;i<-35;i++){ buf[895]=(byte)i; if(sha1_32(buf)==-358687076){break;} }
        for(i=-21;i<-8;i++){ buf[896]=(byte)i; if(sha1_32(buf)==980486105){break;} }
        for(i=93;i<116;i++){ buf[897]=(byte)i; if(sha1_32(buf)==10318538){break;} }
        for(i=62;i<72;i++){ buf[898]=(byte)i; if(sha1_32(buf)==34403289){break;} }
        for(i=-12;i<2;i++){ buf[899]=(byte)i; if(sha1_32(buf)==34403289){break;} }
        for(i=2;i<21;i++){ buf[900]=(byte)i; if(sha1_32(buf)==870717874){break;} }
        for(i=42;i<66;i++){ buf[901]=(byte)i; if(sha1_32(buf)==67116229){break;} }
        for(i=83;i<103;i++){ buf[902]=(byte)i; if(sha1_32(buf)==-1189703953){break;} }
        for(i=111;i<120;i++){ buf[903]=(byte)i; if(sha1_32(buf)==-1243272542){break;} }
        for(i=-12;i<4;i++){ buf[904]=(byte)i; if(sha1_32(buf)==-1647340387){break;} }
        for(i=-66;i<-45;i++){ buf[905]=(byte)i; if(sha1_32(buf)==2075970267){break;} }
        for(i=106;i<126;i++){ buf[906]=(byte)i; if(sha1_32(buf)==-263014083){break;} }
        for(i=-120;i<-110;i++){ buf[907]=(byte)i; if(sha1_32(buf)==-1297910565){break;} }
        for(i=-100;i<-89;i++){ buf[908]=(byte)i; if(sha1_32(buf)==1461345654){break;} }
        for(i=99;i<118;i++){ buf[909]=(byte)i; if(sha1_32(buf)==-1794633541){break;} }
        for(i=80;i<96;i++){ buf[910]=(byte)i; if(sha1_32(buf)==282481534){break;} }
        for(i=-108;i<-87;i++){ buf[911]=(byte)i; if(sha1_32(buf)==-243587507){break;} }
        for(i=-122;i<-116;i++){ buf[912]=(byte)i; if(sha1_32(buf)==-1375920556){break;} }
        for(i=-128;i<-120;i++){ buf[913]=(byte)i; if(sha1_32(buf)==1651366454){break;} }
        for(i=-65;i<-50;i++){ buf[914]=(byte)i; if(sha1_32(buf)==487088401){break;} }
        for(i=-128;i<-116;i++){ buf[915]=(byte)i; if(sha1_32(buf)==-1807678988){break;} }
        for(i=68;i<71;i++){ buf[916]=(byte)i; if(sha1_32(buf)==2129092954){break;} }
        for(i=-111;i<-90;i++){ buf[917]=(byte)i; if(sha1_32(buf)==1079673159){break;} }
        for(i=-45;i<-33;i++){ buf[918]=(byte)i; if(sha1_32(buf)==369088622){break;} }
        for(i=-113;i<-96;i++){ buf[919]=(byte)i; if(sha1_32(buf)==1257793135){break;} }
        for(i=-51;i<-43;i++){ buf[920]=(byte)i; if(sha1_32(buf)==-563412536){break;} }
        for(i=-28;i<-12;i++){ buf[921]=(byte)i; if(sha1_32(buf)==428351573){break;} }
        for(i=-103;i<-76;i++){ buf[922]=(byte)i; if(sha1_32(buf)==-1097642322){break;} }
        for(i=-29;i<-14;i++){ buf[923]=(byte)i; if(sha1_32(buf)==519017256){break;} }
        for(i=-122;i<-119;i++){ buf[924]=(byte)i; if(sha1_32(buf)==-1041688764){break;} }
        for(i=101;i<113;i++){ buf[925]=(byte)i; if(sha1_32(buf)==-1895709164){break;} }
        for(i=56;i<59;i++){ buf[926]=(byte)i; if(sha1_32(buf)==-963212002){break;} }
        for(i=69;i<84;i++){ buf[927]=(byte)i; if(sha1_32(buf)==-1971400745){break;} }
        for(i=56;i<57;i++){ buf[928]=(byte)i; if(sha1_32(buf)==1090112451){break;} }
        for(i=-126;i<-106;i++){ buf[929]=(byte)i; if(sha1_32(buf)==509258382){break;} }
        for(i=100;i<121;i++){ buf[930]=(byte)i; if(sha1_32(buf)==-752925610){break;} }
        for(i=-30;i<-9;i++){ buf[931]=(byte)i; if(sha1_32(buf)==-1168605957){break;} }
        for(i=89;i<111;i++){ buf[932]=(byte)i; if(sha1_32(buf)==1428282770){break;} }
        for(i=-48;i<-38;i++){ buf[933]=(byte)i; if(sha1_32(buf)==432282120){break;} }
        for(i=14;i<32;i++){ buf[934]=(byte)i; if(sha1_32(buf)==848828529){break;} }
        for(i=37;i<59;i++){ buf[935]=(byte)i; if(sha1_32(buf)==-157324443){break;} }
        for(i=99;i<124;i++){ buf[936]=(byte)i; if(sha1_32(buf)==239301579){break;} }
        for(i=-80;i<-70;i++){ buf[937]=(byte)i; if(sha1_32(buf)==-1644695242){break;} }
        for(i=120;i<128;i++){ buf[938]=(byte)i; if(sha1_32(buf)==-1403461265){break;} }
        for(i=-73;i<-44;i++){ buf[939]=(byte)i; if(sha1_32(buf)==2016918629){break;} }
        for(i=-41;i<-25;i++){ buf[940]=(byte)i; if(sha1_32(buf)==-2100401472){break;} }
        for(i=110;i<120;i++){ buf[941]=(byte)i; if(sha1_32(buf)==1585357219){break;} }
        for(i=57;i<73;i++){ buf[942]=(byte)i; if(sha1_32(buf)==1779614003){break;} }
        for(i=73;i<101;i++){ buf[943]=(byte)i; if(sha1_32(buf)==-322316038){break;} }
        for(i=6;i<29;i++){ buf[944]=(byte)i; if(sha1_32(buf)==584262085){break;} }
        for(i=-20;i<-9;i++){ buf[945]=(byte)i; if(sha1_32(buf)==-1419646598){break;} }
        for(i=-11;i<9;i++){ buf[946]=(byte)i; if(sha1_32(buf)==420916722){break;} }
        for(i=63;i<82;i++){ buf[947]=(byte)i; if(sha1_32(buf)==-1100211662){break;} }
        for(i=-121;i<-104;i++){ buf[948]=(byte)i; if(sha1_32(buf)==1881597114){break;} }
        for(i=17;i<37;i++){ buf[949]=(byte)i; if(sha1_32(buf)==-1179564186){break;} }
        for(i=78;i<98;i++){ buf[950]=(byte)i; if(sha1_32(buf)==-1064426647){break;} }
        for(i=11;i<26;i++){ buf[951]=(byte)i; if(sha1_32(buf)==-528676508){break;} }
        for(i=-23;i<-13;i++){ buf[952]=(byte)i; if(sha1_32(buf)==-953155895){break;} }
        for(i=-56;i<-39;i++){ buf[953]=(byte)i; if(sha1_32(buf)==-664685197){break;} }
        for(i=-60;i<-51;i++){ buf[954]=(byte)i; if(sha1_32(buf)==1940663937){break;} }
        for(i=69;i<83;i++){ buf[955]=(byte)i; if(sha1_32(buf)==1159422909){break;} }
        for(i=-21;i<-7;i++){ buf[956]=(byte)i; if(sha1_32(buf)==54296115){break;} }
        for(i=-128;i<-111;i++){ buf[957]=(byte)i; if(sha1_32(buf)==-1033456956){break;} }
        for(i=-12;i<14;i++){ buf[958]=(byte)i; if(sha1_32(buf)==-1033456956){break;} }
        for(i=86;i<116;i++){ buf[959]=(byte)i; if(sha1_32(buf)==-1867197248){break;} }
        for(i=-32;i<-16;i++){ buf[960]=(byte)i; if(sha1_32(buf)==-1796707626){break;} }
        for(i=72;i<88;i++){ buf[961]=(byte)i; if(sha1_32(buf)==1319280092){break;} }
        for(i=-56;i<-40;i++){ buf[962]=(byte)i; if(sha1_32(buf)==-707512973){break;} }
        for(i=-1;i<14;i++){ buf[963]=(byte)i; if(sha1_32(buf)==-1839965634){break;} }
        for(i=21;i<37;i++){ buf[964]=(byte)i; if(sha1_32(buf)==-1360470120){break;} }
        for(i=12;i<30;i++){ buf[965]=(byte)i; if(sha1_32(buf)==344275331){break;} }
        for(i=87;i<103;i++){ buf[966]=(byte)i; if(sha1_32(buf)==1379722191){break;} }
        for(i=105;i<124;i++){ buf[967]=(byte)i; if(sha1_32(buf)==67395063){break;} }
        for(i=-7;i<7;i++){ buf[968]=(byte)i; if(sha1_32(buf)==67395063){break;} }
        for(i=-110;i<-95;i++){ buf[969]=(byte)i; if(sha1_32(buf)==1004393945){break;} }
        for(i=29;i<40;i++){ buf[970]=(byte)i; if(sha1_32(buf)==1405206673){break;} }
        for(i=-52;i<-38;i++){ buf[971]=(byte)i; if(sha1_32(buf)==-1847492602){break;} }
        for(i=-123;i<-116;i++){ buf[972]=(byte)i; if(sha1_32(buf)==173100982){break;} }
        for(i=-128;i<-112;i++){ buf[973]=(byte)i; if(sha1_32(buf)==183446116){break;} }
        for(i=-2;i<6;i++){ buf[974]=(byte)i; if(sha1_32(buf)==292166164){break;} }
        for(i=103;i<121;i++){ buf[975]=(byte)i; if(sha1_32(buf)==1062944887){break;} }
        for(i=-91;i<-63;i++){ buf[976]=(byte)i; if(sha1_32(buf)==-246556278){break;} }
        for(i=44;i<74;i++){ buf[977]=(byte)i; if(sha1_32(buf)==1009296404){break;} }
        for(i=-123;i<-108;i++){ buf[978]=(byte)i; if(sha1_32(buf)==496033529){break;} }
        for(i=70;i<91;i++){ buf[979]=(byte)i; if(sha1_32(buf)==391747581){break;} }
        for(i=57;i<67;i++){ buf[980]=(byte)i; if(sha1_32(buf)==1637293430){break;} }
        for(i=-63;i<-45;i++){ buf[981]=(byte)i; if(sha1_32(buf)==-307374248){break;} }
        for(i=48;i<73;i++){ buf[982]=(byte)i; if(sha1_32(buf)==-925494939){break;} }
        for(i=-86;i<-71;i++){ buf[983]=(byte)i; if(sha1_32(buf)==1025509121){break;} }
        for(i=1;i<4;i++){ buf[984]=(byte)i; if(sha1_32(buf)==-1435161324){break;} }
        for(i=66;i<73;i++){ buf[985]=(byte)i; if(sha1_32(buf)==1925606911){break;} }
        for(i=51;i<63;i++){ buf[986]=(byte)i; if(sha1_32(buf)==1191599876){break;} }
        for(i=-43;i<-14;i++){ buf[987]=(byte)i; if(sha1_32(buf)==679207978){break;} }
        for(i=52;i<71;i++){ buf[988]=(byte)i; if(sha1_32(buf)==1936113735){break;} }
        for(i=-12;i<-6;i++){ buf[989]=(byte)i; if(sha1_32(buf)==-1726147866){break;} }
        for(i=-54;i<-31;i++){ buf[990]=(byte)i; if(sha1_32(buf)==-583977819){break;} }
        for(i=-10;i<14;i++){ buf[991]=(byte)i; if(sha1_32(buf)==513613449){break;} }
        for(i=-50;i<-21;i++){ buf[992]=(byte)i; if(sha1_32(buf)==1747367907){break;} }
        for(i=-78;i<-60;i++){ buf[993]=(byte)i; if(sha1_32(buf)==436011803){break;} }
        for(i=-20;i<2;i++){ buf[994]=(byte)i; if(sha1_32(buf)==2017237471){break;} }
        for(i=11;i<23;i++){ buf[995]=(byte)i; if(sha1_32(buf)==-485790865){break;} }
        for(i=7;i<24;i++){ buf[996]=(byte)i; if(sha1_32(buf)==1147185825){break;} }
        for(i=106;i<120;i++){ buf[997]=(byte)i; if(sha1_32(buf)==-1825059161){break;} }
        for(i=70;i<78;i++){ buf[998]=(byte)i; if(sha1_32(buf)==1149315810){break;} }
        for(i=-118;i<-110;i++){ buf[999]=(byte)i; if(sha1_32(buf)==-832186345){break;} }
        for(i=-111;i<-95;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==906647267){break;} }
        for(i=-97;i<-72;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==-1088124958){break;} }
        for(i=-128;i<-118;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==1839707476){break;} }
        for(i=49;i<60;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==1031135440){break;} }
        for(i=-3;i<11;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==-315034491){break;} }
        for(i=114;i<128;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==-1539783737){break;} }
        for(i=-34;i<-5;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==-2087482139){break;} }
        for(i=-19;i<-7;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==402578113){break;} }
        for(i=-125;i<-106;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==-1136906513){break;} }
        for(i=8;i<23;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==-1888591311){break;} }
        for(i=-24;i<-12;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==488628185){break;} }
        for(i=59;i<78;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==1002553182){break;} }
        for(i=-72;i<-55;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-187357745){break;} }
        for(i=6;i<11;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==-1041567950){break;} }
        for(i=83;i<90;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==-261978047){break;} }
        for(i=-128;i<-102;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==-1782729190){break;} }
        for(i=-64;i<-41;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==-1819305414){break;} }
        for(i=26;i<48;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==-471703860){break;} }
        for(i=107;i<119;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==1748666643){break;} }
        for(i=-31;i<-4;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==131923219){break;} }
        for(i=-56;i<-43;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==-722158268){break;} }
        for(i=-104;i<-86;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==-1694221408){break;} }
        for(i=-112;i<-97;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==311504439){break;} }
        for(i=-24;i<-10;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==-1504162135){break;} }
        for(i=5;i<29;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==1088110901){break;} }
        for(i=108;i<119;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==1856436758){break;} }
        for(i=30;i<40;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==-1176734089){break;} }
        for(i=-71;i<-63;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==-2138907907){break;} }
        for(i=105;i<117;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==99071808){break;} }
        for(i=-95;i<-68;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==1203556301){break;} }
        for(i=-94;i<-76;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==-47532629){break;} }
        for(i=-128;i<-114;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==-584269385){break;} }
        for(i=61;i<73;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==-388220380){break;} }
        for(i=-34;i<-20;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==842543282){break;} }
        for(i=27;i<47;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==640815245){break;} }
        for(i=65;i<81;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==1227328910){break;} }
        for(i=-37;i<-15;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==-370416373){break;} }
        for(i=-111;i<-87;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==-673889329){break;} }
        for(i=-73;i<-56;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==1296267863){break;} }
        for(i=-62;i<-57;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==1539709695){break;} }
        for(i=-5;i<3;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==529275942){break;} }
        for(i=51;i<79;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==1262801777){break;} }
        for(i=11;i<32;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==-916423773){break;} }
        for(i=99;i<112;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==-1156346864){break;} }
        for(i=37;i<51;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==346210723){break;} }
        for(i=-55;i<-43;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==1326933572){break;} }
        for(i=-61;i<-38;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==-1897197988){break;} }
        for(i=5;i<24;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==1763754868){break;} }
        for(i=73;i<95;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==-1383726998){break;} }
        for(i=-82;i<-73;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==-140409717){break;} }
        for(i=35;i<59;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==1011183780){break;} }
        for(i=36;i<62;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==-805160090){break;} }
        for(i=93;i<104;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==910192336){break;} }
        for(i=-66;i<-50;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==1688425855){break;} }
        for(i=-123;i<-111;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==-6442131){break;} }
        for(i=-8;i<0;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==1588346222){break;} }
        for(i=-28;i<-13;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==1258855645){break;} }
        for(i=-107;i<-99;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==-1951271758){break;} }
        for(i=105;i<122;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==1580813606){break;} }
        for(i=-36;i<-20;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==-110923571){break;} }
        for(i=-15;i<-6;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==-2078748562){break;} }
        for(i=-119;i<-112;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==1029475814){break;} }
        for(i=-128;i<-116;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==-1565001074){break;} }
        for(i=-54;i<-37;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==940413641){break;} }
        for(i=-60;i<-50;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==-1025972951){break;} }
        for(i=42;i<62;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==-106833713){break;} }
        for(i=63;i<89;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==-1087894637){break;} }
        for(i=52;i<75;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==-155280919){break;} }
        for(i=-43;i<-21;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==1590246988){break;} }
        for(i=8;i<32;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==-957779618){break;} }
        for(i=7;i<24;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==1484822712){break;} }
        for(i=-59;i<-39;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==1080173834){break;} }
        for(i=48;i<54;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==658573968){break;} }
        for(i=75;i<88;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==-1211703438){break;} }
        for(i=113;i<128;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==86632716){break;} }
        for(i=-11;i<-6;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==-1685216606){break;} }
        for(i=34;i<45;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==1521328857){break;} }
        for(i=-114;i<-92;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==1362059775){break;} }
        for(i=-58;i<-33;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==468239948){break;} }
        for(i=-69;i<-48;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==-1863287937){break;} }
        for(i=-36;i<-16;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==1612376116){break;} }
        for(i=115;i<128;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==-1951906890){break;} }
        for(i=105;i<119;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==548257316){break;} }
        for(i=112;i<121;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==1676909851){break;} }
        for(i=-59;i<-58;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==2138987032){break;} }
        for(i=-114;i<-96;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==-1973221920){break;} }
        for(i=-12;i<5;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==2093748014){break;} }
        for(i=40;i<51;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==678204003){break;} }
        for(i=-26;i<-15;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==342105848){break;} }
        for(i=-70;i<-55;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==598241646){break;} }
        for(i=63;i<82;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-1230912006){break;} }
        for(i=38;i<56;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==-1069157673){break;} }
        for(i=87;i<111;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==1294657125){break;} }
        for(i=50;i<68;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==-1795870781){break;} }
        for(i=-32;i<-12;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==-329934580){break;} }
        for(i=-122;i<-103;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==1786926352){break;} }
        for(i=-89;i<-81;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==1953885576){break;} }
        for(i=-1;i<13;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==1953885576){break;} }
        for(i=-80;i<-65;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==-1797668859){break;} }
        for(i=40;i<51;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==-96821043){break;} }
        for(i=-3;i<14;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==192883849){break;} }
        for(i=-59;i<-44;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==789208350){break;} }
        for(i=112;i<128;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==-1171706347){break;} }
        for(i=32;i<51;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==-1817157567){break;} }
        for(i=-110;i<-90;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==-901878076){break;} }
        for(i=92;i<105;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==-1762968168){break;} }
        for(i=27;i<31;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==1305901424){break;} }
        for(i=-95;i<-81;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==1997910190){break;} }
        for(i=23;i<30;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==-1332421779){break;} }
        for(i=72;i<91;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==-149732027){break;} }
        for(i=-106;i<-85;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==-1245263309){break;} }
        for(i=-8;i<9;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==1505425578){break;} }
        for(i=-31;i<-8;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==-1614837428){break;} }
        for(i=-127;i<-123;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==-575648635){break;} }
        for(i=79;i<92;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==414823599){break;} }
        for(i=-35;i<-5;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==1380787693){break;} }
        for(i=-96;i<-72;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==-64380869){break;} }
        for(i=30;i<41;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==1481445232){break;} }
        for(i=-77;i<-53;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==-1045037726){break;} }
        for(i=49;i<64;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==1194047571){break;} }
        for(i=-107;i<-82;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==-2117520403){break;} }
        for(i=13;i<29;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==547438506){break;} }
        for(i=-28;i<0;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==1380257985){break;} }
        for(i=109;i<119;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==435309316){break;} }
        for(i=104;i<118;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==-596554073){break;} }
        for(i=-78;i<-59;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==-1707202589){break;} }
        for(i=-37;i<-11;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==-1452383787){break;} }
        for(i=-117;i<-109;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==914697671){break;} }
        for(i=80;i<83;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-1351168977){break;} }
        for(i=-13;i<-7;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==-1797377829){break;} }
        for(i=86;i<102;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==-1551833273){break;} }
        for(i=8;i<20;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==457056143){break;} }
        for(i=-67;i<-56;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==-134889057){break;} }
        for(i=-21;i<-4;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==1535618387){break;} }
        for(i=-118;i<-112;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==973008994){break;} }
        for(i=19;i<38;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==-1463665892){break;} }
        for(i=-96;i<-79;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==-965049157){break;} }
        for(i=42;i<49;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==657240749){break;} }
        for(i=66;i<88;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==-2029178414){break;} }
        for(i=60;i<68;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==-193792152){break;} }
        for(i=63;i<83;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==1986458734){break;} }
        for(i=-2;i<9;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==1976442003){break;} }
        for(i=-120;i<-117;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==380596532){break;} }
        for(i=34;i<46;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==1275474556){break;} }
        for(i=-96;i<-79;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==-2075513457){break;} }
        for(i=61;i<75;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==686542932){break;} }
        for(i=-103;i<-92;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==-1511602985){break;} }
        for(i=24;i<51;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==-1941369578){break;} }
        for(i=93;i<106;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-1547702112){break;} }
        for(i=-34;i<-14;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==315310385){break;} }
        for(i=-41;i<-20;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==-828732308){break;} }
        for(i=50;i<70;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==971609038){break;} }
        for(i=-24;i<-4;i++){ buf[1152]=(byte)i; if(sha1_32(buf)==103998323){break;} }
        for(i=69;i<89;i++){ buf[1153]=(byte)i; if(sha1_32(buf)==-496106661){break;} }
        for(i=-16;i<0;i++){ buf[1154]=(byte)i; if(sha1_32(buf)==-345245611){break;} }
        for(i=-99;i<-77;i++){ buf[1155]=(byte)i; if(sha1_32(buf)==-1750780272){break;} }
        for(i=29;i<49;i++){ buf[1156]=(byte)i; if(sha1_32(buf)==1065052399){break;} }
        for(i=-68;i<-44;i++){ buf[1157]=(byte)i; if(sha1_32(buf)==-129131316){break;} }
        for(i=-100;i<-83;i++){ buf[1158]=(byte)i; if(sha1_32(buf)==-898091983){break;} }
        for(i=-110;i<-82;i++){ buf[1159]=(byte)i; if(sha1_32(buf)==-1422808489){break;} }
        for(i=-128;i<-114;i++){ buf[1160]=(byte)i; if(sha1_32(buf)==-1632145603){break;} }
        for(i=-16;i<-4;i++){ buf[1161]=(byte)i; if(sha1_32(buf)==-1088788911){break;} }
        for(i=-112;i<-94;i++){ buf[1162]=(byte)i; if(sha1_32(buf)==1829128343){break;} }
        for(i=-47;i<-26;i++){ buf[1163]=(byte)i; if(sha1_32(buf)==1264194514){break;} }
        for(i=-107;i<-84;i++){ buf[1164]=(byte)i; if(sha1_32(buf)==-837425545){break;} }
        for(i=-64;i<-44;i++){ buf[1165]=(byte)i; if(sha1_32(buf)==-64310092){break;} }
        for(i=50;i<69;i++){ buf[1166]=(byte)i; if(sha1_32(buf)==-1685275430){break;} }
        for(i=-102;i<-95;i++){ buf[1167]=(byte)i; if(sha1_32(buf)==199176644){break;} }
        for(i=-55;i<-28;i++){ buf[1168]=(byte)i; if(sha1_32(buf)==446499190){break;} }
        for(i=64;i<84;i++){ buf[1169]=(byte)i; if(sha1_32(buf)==-1711815909){break;} }
        for(i=35;i<40;i++){ buf[1170]=(byte)i; if(sha1_32(buf)==-2101206535){break;} }
        for(i=116;i<128;i++){ buf[1171]=(byte)i; if(sha1_32(buf)==901739334){break;} }
        for(i=-11;i<5;i++){ buf[1172]=(byte)i; if(sha1_32(buf)==-382776352){break;} }
        for(i=-38;i<-18;i++){ buf[1173]=(byte)i; if(sha1_32(buf)==-1597037062){break;} }
        for(i=-9;i<16;i++){ buf[1174]=(byte)i; if(sha1_32(buf)==2069745058){break;} }
        for(i=120;i<128;i++){ buf[1175]=(byte)i; if(sha1_32(buf)==-1611297055){break;} }
        for(i=-102;i<-85;i++){ buf[1176]=(byte)i; if(sha1_32(buf)==-1127826043){break;} }
        for(i=-44;i<-20;i++){ buf[1177]=(byte)i; if(sha1_32(buf)==-971625445){break;} }
        for(i=33;i<41;i++){ buf[1178]=(byte)i; if(sha1_32(buf)==-1271978444){break;} }
        for(i=-78;i<-63;i++){ buf[1179]=(byte)i; if(sha1_32(buf)==-871455095){break;} }
        for(i=-28;i<-9;i++){ buf[1180]=(byte)i; if(sha1_32(buf)==50292360){break;} }
        for(i=-118;i<-101;i++){ buf[1181]=(byte)i; if(sha1_32(buf)==-941387762){break;} }
        for(i=-54;i<-50;i++){ buf[1182]=(byte)i; if(sha1_32(buf)==-1688970276){break;} }
        for(i=-68;i<-45;i++){ buf[1183]=(byte)i; if(sha1_32(buf)==-2017248139){break;} }
        for(i=-115;i<-113;i++){ buf[1184]=(byte)i; if(sha1_32(buf)==1810133642){break;} }
        for(i=60;i<79;i++){ buf[1185]=(byte)i; if(sha1_32(buf)==-266750986){break;} }
        for(i=116;i<128;i++){ buf[1186]=(byte)i; if(sha1_32(buf)==224050129){break;} }
        for(i=-102;i<-79;i++){ buf[1187]=(byte)i; if(sha1_32(buf)==-742565612){break;} }
        for(i=-15;i<2;i++){ buf[1188]=(byte)i; if(sha1_32(buf)==-742565612){break;} }
        for(i=-46;i<-33;i++){ buf[1189]=(byte)i; if(sha1_32(buf)==-443287603){break;} }
        for(i=-80;i<-70;i++){ buf[1190]=(byte)i; if(sha1_32(buf)==-1103113868){break;} }
        for(i=87;i<101;i++){ buf[1191]=(byte)i; if(sha1_32(buf)==1349254263){break;} }
        for(i=-90;i<-66;i++){ buf[1192]=(byte)i; if(sha1_32(buf)==-1781809624){break;} }
        for(i=40;i<64;i++){ buf[1193]=(byte)i; if(sha1_32(buf)==-1242906962){break;} }
        for(i=35;i<56;i++){ buf[1194]=(byte)i; if(sha1_32(buf)==-602350687){break;} }
        for(i=-90;i<-74;i++){ buf[1195]=(byte)i; if(sha1_32(buf)==1488989009){break;} }
        for(i=37;i<46;i++){ buf[1196]=(byte)i; if(sha1_32(buf)==1369705373){break;} }
        for(i=-100;i<-90;i++){ buf[1197]=(byte)i; if(sha1_32(buf)==-112765321){break;} }
        for(i=-44;i<-17;i++){ buf[1198]=(byte)i; if(sha1_32(buf)==-203275411){break;} }
        for(i=-22;i<-1;i++){ buf[1199]=(byte)i; if(sha1_32(buf)==1244999819){break;} }
        for(i=-96;i<-90;i++){ buf[1200]=(byte)i; if(sha1_32(buf)==351559450){break;} }
        for(i=-105;i<-87;i++){ buf[1201]=(byte)i; if(sha1_32(buf)==-1642110029){break;} }
        for(i=-107;i<-93;i++){ buf[1202]=(byte)i; if(sha1_32(buf)==-519413347){break;} }
        for(i=-104;i<-93;i++){ buf[1203]=(byte)i; if(sha1_32(buf)==38628425){break;} }
        for(i=70;i<97;i++){ buf[1204]=(byte)i; if(sha1_32(buf)==1002746573){break;} }
        for(i=16;i<35;i++){ buf[1205]=(byte)i; if(sha1_32(buf)==-2021963310){break;} }
        for(i=75;i<88;i++){ buf[1206]=(byte)i; if(sha1_32(buf)==-114912506){break;} }
        for(i=38;i<68;i++){ buf[1207]=(byte)i; if(sha1_32(buf)==2018311668){break;} }
        for(i=-128;i<-120;i++){ buf[1208]=(byte)i; if(sha1_32(buf)==1586365299){break;} }
        for(i=-82;i<-59;i++){ buf[1209]=(byte)i; if(sha1_32(buf)==-317277846){break;} }
        for(i=43;i<54;i++){ buf[1210]=(byte)i; if(sha1_32(buf)==-124651458){break;} }
        for(i=83;i<100;i++){ buf[1211]=(byte)i; if(sha1_32(buf)==-641581089){break;} }
        for(i=31;i<52;i++){ buf[1212]=(byte)i; if(sha1_32(buf)==556503695){break;} }
        for(i=-128;i<-108;i++){ buf[1213]=(byte)i; if(sha1_32(buf)==1070570527){break;} }
        for(i=67;i<79;i++){ buf[1214]=(byte)i; if(sha1_32(buf)==-2063427622){break;} }
        for(i=-16;i<4;i++){ buf[1215]=(byte)i; if(sha1_32(buf)==-1511499745){break;} }
        for(i=39;i<62;i++){ buf[1216]=(byte)i; if(sha1_32(buf)==-677552575){break;} }
        for(i=-23;i<-2;i++){ buf[1217]=(byte)i; if(sha1_32(buf)==-2057736377){break;} }
        for(i=73;i<93;i++){ buf[1218]=(byte)i; if(sha1_32(buf)==2007604069){break;} }
        for(i=66;i<89;i++){ buf[1219]=(byte)i; if(sha1_32(buf)==1810522801){break;} }
        for(i=-124;i<-113;i++){ buf[1220]=(byte)i; if(sha1_32(buf)==-1397021872){break;} }
        for(i=-58;i<-49;i++){ buf[1221]=(byte)i; if(sha1_32(buf)==-1816151140){break;} }
        for(i=-10;i<4;i++){ buf[1222]=(byte)i; if(sha1_32(buf)==-1894780741){break;} }
        for(i=34;i<44;i++){ buf[1223]=(byte)i; if(sha1_32(buf)==-878133403){break;} }
        for(i=-84;i<-68;i++){ buf[1224]=(byte)i; if(sha1_32(buf)==-1007674436){break;} }
        for(i=-106;i<-88;i++){ buf[1225]=(byte)i; if(sha1_32(buf)==1970016026){break;} }
        for(i=20;i<44;i++){ buf[1226]=(byte)i; if(sha1_32(buf)==899969712){break;} }
        for(i=-42;i<-36;i++){ buf[1227]=(byte)i; if(sha1_32(buf)==1370204799){break;} }
        for(i=89;i<111;i++){ buf[1228]=(byte)i; if(sha1_32(buf)==-1117491044){break;} }
        for(i=-100;i<-78;i++){ buf[1229]=(byte)i; if(sha1_32(buf)==359709563){break;} }
        for(i=113;i<128;i++){ buf[1230]=(byte)i; if(sha1_32(buf)==-2002711905){break;} }
        for(i=52;i<66;i++){ buf[1231]=(byte)i; if(sha1_32(buf)==-1337203395){break;} }
        for(i=43;i<46;i++){ buf[1232]=(byte)i; if(sha1_32(buf)==-497218420){break;} }
        for(i=36;i<54;i++){ buf[1233]=(byte)i; if(sha1_32(buf)==1206514652){break;} }
        for(i=-94;i<-74;i++){ buf[1234]=(byte)i; if(sha1_32(buf)==654410401){break;} }
        for(i=47;i<69;i++){ buf[1235]=(byte)i; if(sha1_32(buf)==996140151){break;} }
        for(i=-21;i<3;i++){ buf[1236]=(byte)i; if(sha1_32(buf)==934305206){break;} }
        for(i=112;i<126;i++){ buf[1237]=(byte)i; if(sha1_32(buf)==-1023904625){break;} }
        for(i=-42;i<-19;i++){ buf[1238]=(byte)i; if(sha1_32(buf)==1619425086){break;} }
        for(i=-35;i<-17;i++){ buf[1239]=(byte)i; if(sha1_32(buf)==-1649441449){break;} }
        for(i=43;i<55;i++){ buf[1240]=(byte)i; if(sha1_32(buf)==637035032){break;} }
        for(i=4;i<17;i++){ buf[1241]=(byte)i; if(sha1_32(buf)==-181057642){break;} }
        for(i=82;i<98;i++){ buf[1242]=(byte)i; if(sha1_32(buf)==-1778931320){break;} }
        for(i=6;i<29;i++){ buf[1243]=(byte)i; if(sha1_32(buf)==1310553819){break;} }
        for(i=-38;i<-28;i++){ buf[1244]=(byte)i; if(sha1_32(buf)==600524375){break;} }
        for(i=-123;i<-116;i++){ buf[1245]=(byte)i; if(sha1_32(buf)==1436563905){break;} }
        for(i=-61;i<-48;i++){ buf[1246]=(byte)i; if(sha1_32(buf)==-119993813){break;} }
        for(i=-88;i<-76;i++){ buf[1247]=(byte)i; if(sha1_32(buf)==2042353493){break;} }
        for(i=-67;i<-50;i++){ buf[1248]=(byte)i; if(sha1_32(buf)==-519623330){break;} }
        for(i=60;i<85;i++){ buf[1249]=(byte)i; if(sha1_32(buf)==229581420){break;} }
        for(i=-51;i<-24;i++){ buf[1250]=(byte)i; if(sha1_32(buf)==-814755488){break;} }
        for(i=13;i<28;i++){ buf[1251]=(byte)i; if(sha1_32(buf)==670758374){break;} }
        for(i=-84;i<-68;i++){ buf[1252]=(byte)i; if(sha1_32(buf)==447267878){break;} }
        for(i=95;i<103;i++){ buf[1253]=(byte)i; if(sha1_32(buf)==-571345539){break;} }
        for(i=10;i<34;i++){ buf[1254]=(byte)i; if(sha1_32(buf)==-787049856){break;} }
        for(i=92;i<109;i++){ buf[1255]=(byte)i; if(sha1_32(buf)==826885838){break;} }
        for(i=-33;i<-20;i++){ buf[1256]=(byte)i; if(sha1_32(buf)==2129749475){break;} }
        for(i=-86;i<-58;i++){ buf[1257]=(byte)i; if(sha1_32(buf)==-1343119722){break;} }
        for(i=-93;i<-86;i++){ buf[1258]=(byte)i; if(sha1_32(buf)==1138429474){break;} }
        for(i=71;i<76;i++){ buf[1259]=(byte)i; if(sha1_32(buf)==1168381383){break;} }
        for(i=-120;i<-108;i++){ buf[1260]=(byte)i; if(sha1_32(buf)==-851488700){break;} }
        for(i=74;i<90;i++){ buf[1261]=(byte)i; if(sha1_32(buf)==-1540635014){break;} }
        for(i=-60;i<-51;i++){ buf[1262]=(byte)i; if(sha1_32(buf)==-969048086){break;} }
        for(i=-119;i<-101;i++){ buf[1263]=(byte)i; if(sha1_32(buf)==523841531){break;} }
        for(i=107;i<122;i++){ buf[1264]=(byte)i; if(sha1_32(buf)==366499281){break;} }
        for(i=22;i<35;i++){ buf[1265]=(byte)i; if(sha1_32(buf)==-842887284){break;} }
        return buf;
    }
}
